Def Equiv.instFunLike

Modification history

2026-01-01 15:17

Mathlib/Logic/Equiv/Defs.lean

chore: remove June 2025 deprecated declarations (#33429) …

Deleted Equiv.instFunLike View on Github →

2025-07-04 03:07

Mathlib/Logic/Equiv/Defs.lean

fix: remove explicit `FunLike` instance for `Equiv` (#26220) …

Added Equiv.instFunLike View on Github →