Ascent++ | macro lens | HasProperty

Ascent++

Assertion list

macro lens (subgroup of lens ) → HasProperty

Results from Ascent++: 1

macro lens → HasProperty → perfect

0.16

This work is licensed under a Creative Commons Attribution 4.0 International License. Accessibility. Imprint. Privacy.