Theorem EquivLike.inv_apply_eq_iff_eq_apply

Modification history

2025-07-04 03:07
Mathlib/Data/FunLike/Equiv.lean
fix: remove explicit `FunLike` instance for `Equiv` (#26220) …
Modified EquivLike.inv_apply_eq_iff_eq_applyView on Github →
2024-11-03 18:36
Mathlib/Data/FunLike/Equiv.lean
feat(Order/Interval/Finset/Defs): transfer LocallyFiniteOrder (#18479) …
Added EquivLike.inv_apply_eq_iff_eq_applyView on Github →