Def eq_symm

Modification history

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