Ascent++
Search
prime lens
subgroup of
lens
,
5
assertions
HasA
3
fixed focal length
0.68
only one focal length
0.25
fewer moving parts
0.16
IsA
2
lens
0.58
faster
0.35