{group,monoid}): trivial lemma about arithmetic on `with_top` and `with_bot` (#12491)

Commit

4 years ago

chore(algebra/order/{group,monoid}): trivial lemma about arithmetic on `with_top` and `with_bot` (#12491)

Author

eric-wieser

Parents