Def CanonicallyOrderedAddCommMonoid.toAddCancelCommMonoid

Modification history

2024-05-07 01:05
Mathlib/Algebra/Order/Sub/Canonical.lean
refactor: replace `@[reducible]` with `abbrev` (#12614) …
Deleted CanonicallyOrderedAddCommMonoid.toAddCancelCommMonoidView on Github →
2023-10-05 06:34
Mathlib/Algebra/Order/Sub/Canonical.lean
chore: rename CanonicallyOrderedAddMonoid to ..AddCommMonoid (#7503) …
Added CanonicallyOrderedAddCommMonoid.toAddCancelCommMonoidView on Github →