mathlib3
753f17b7 - WIP: use bundled maps for `equiv.refl`,`equiv.symm`,`equiv.trans`

Commit

4 years ago

WIP: use bundled maps for `equiv.refl`,`equiv.symm`,`equiv.trans` The hope is that these bundled maps allow generic `simp` lemmas

Author

Vierkantor

Parents