Def sameParity

Modification history

2022-10-22 16:26
test/symm.lean
feat: `symm` and `trans` tactics (#253) …
Added sameParityView on Github →