Def Equiv.divLeft₀

Modification history

2024-12-05 08:47
Mathlib/Algebra/GroupWithZero/Units/Equiv.lean
feat: left division by a nonzero element as a `Perm` (#19458)
Added Equiv.divLeft₀View on Github →