Assertion: objective lens | /r/HasProperty | divided by the magnification
Facets:
Source sentences:
text: Exit pupil is defined as the diameter of the objective lens divided by the magnification and expressed in mm.