Def Equiv.instFunLike

Modification history

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