Def sameParity_symm

Modification history

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