Def Equiv.ofUnique

Modification history

2024-12-27 11:03
Mathlib/Logic/Equiv/Defs.lean
chore: rename `MulEquiv.mulEquivOfUnique` to `MulEquiv.ofUnique` (#20243)
Added Equiv.ofUniqueView on Github →