Assertion list for term "special case of the ellipse".

Results from Ascent++: 1
circle IsAspecial case of the ellipse 0.41