monoid_lemmas_zero_lt): remove redundant assumptions (#16524)

Commit

3 years ago

chore(algebra/order/monoid_lemmas_zero_lt): remove redundant assumptions (#16524) The third part of #16449

Author

astrainfinita

Committer

b-mehta

Parents