Assertion list
lens (primary) → HasPrerequisite

Results from Ascent++: 1
lensHasPrerequisite adapter 0.37