mathlib3

3c9aa73c - chore(algebra/order/monoid_lemmas_zero_lt): create aliases for `left` lemmas