Assertion list
prime lens (subgroup of lens ) → IsA
Results from Ascent++: 2
prime lens → IsA → lens 0.58
prime lens → IsA → faster 0.35