Rakugrid › laws

laws/eqv-commutes

generated by gen/laws.raku · generated/laws/eqv-commutes.grid

law

({A}) eqv ({B}) === ({B}) eqv ({A})

ladder

numeric, arity 2

121 tests

121 agree

← laws/eq-commuteslaws/flip-is-involution →