Add a convenience type for properties involving equivalence - #281
Open
neithernut wants to merge 3 commits into
Open
Add a convenience type for properties involving equivalence#281neithernut wants to merge 3 commits into
neithernut wants to merge 3 commits into
