Assertion list for term "focal length of 10 cm".

Results from Ascent++: 1
convex lens (subgroup of lens) HasAfocal length of 10 cm 0.25