monoid): `zero_le_one_class` instances for `with_top` and `with_bot` (#14640)

Commit

3 years ago

feat(algebra/order/monoid): `zero_le_one_class` instances for `with_top` and `with_bot` (#14640)

Author

vihdzp

Parents