Assertion: eyepiece's length | /r/HasProperty | derived as primary mirror focal length
Facets:
Source sentences:
text: The effective focal length  is derived as the primary mirror focal length  1 multiplied by the secondary magnification, calculated as  BFL /f.