Def CanonicallyOrderedAddMonoid.toAddCancelCommMonoid

Modification history

2023-10-05 06:34
Mathlib/Algebra/Order/Sub/Canonical.lean
chore: rename CanonicallyOrderedAddMonoid to ..AddCommMonoid (#7503) …
Deleted CanonicallyOrderedAddMonoid.toAddCancelCommMonoidView on Github →
2022-12-01 16:13
Mathlib/Algebra/Order/Sub/Canonical.lean
feat: port Algebra.Order.Sub.Canonical (#814) …
Added CanonicallyOrderedAddMonoid.toAddCancelCommMonoidView on Github →