mathlib3

0613b872 - feat(algebra/order/monoid_lemmas_zero_lt): generalize lemmas