Commit 2024-12-05 08:47 2a485022

View on Github →

feat: left division by a nonzero element as a Perm (#19458)

Estimated changes

added def Equiv.divLeft₀
modified def Equiv.divRight₀
modified def unitsEquivNeZero