monoid): golf an instance (#14184)

Commit

3 years ago

chore(algebra/order/monoid): golf an instance (#14184) Move two instances below to reuse a proof.

Author

urkud

Parents