Def Equiv.divRight₀

Modification history

2024-11-18 21:32
Mathlib/Algebra/GroupWithZero/Units/Equiv.lean
feat: right-division as an `OrderIso` (#19191)
Added Equiv.divRight₀View on Github →