Theorem EquivLike.inv_apply_eq

Modification history

2025-07-04 03:07
Mathlib/Data/FunLike/Equiv.lean
fix: remove explicit `FunLike` instance for `Equiv` (#26220) …
Added EquivLike.inv_apply_eqView on Github →