Def RingEquiv.ofUnique

Modification history

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