Assertion list
lens element (aspect of lens ) → HasA
Results from Ascent++: 3
lens element → HasA → convex surface 0.60
lens element → HasA → positive refractive power 0.37
lens element → HasA → refractive index 0.32