monoid): a canonically ordered add monoid has `0 ≤ 1` (#16199)

Commit

3 years ago

feat(algebra/order/monoid): a canonically ordered add monoid has `0 ≤ 1` (#16199)

Author

urkud

Parents