Def EquivLike.toEquiv

Modification history

2023-07-04 12:26
Mathlib/Logic/Equiv/Defs.lean
style: add missing space (#5711)
Modified EquivLike.toEquivView on Github →
2022-12-22 21:16
Mathlib/Logic/Equiv/Defs.lean
feat: better coercions from hom classes to hom types (#1150) …
Added EquivLike.toEquivView on Github →