monoid_lemmas_zero_lt): reorder, create aliases (#16522)

Commit

3 years ago

chore(algebra/order/monoid_lemmas_zero_lt): reorder, create aliases (#16522) The first part of #16449

Author

astrainfinita

Parents