Assertion list for term "curved mirrors".

Results from Ascent++: 1
convex mirror (subgroup of mirror) IsAcurved mirrors 0.25