Mathlib Changelog
v4
Changelog
About
Github
Theorem
CommMagma.IsLeftCancelMul.toIsRightCancelMul
Modification history
2023-12-03 23:47
Mathlib/Algebra/Group/Defs.lean
refactor(Algebra/Group/Defs): Separate commutative and associative multiplication (addition) (#7060) …
Added
CommMagma.IsLeftCancelMul.toIsRightCancelMul
View on Github →