Theorem EquivLike.coe_apply

Modification history

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