chore(algebra/order/monoid_lemmas_zero_lt): reorder, create aliases (#16522)
chore(algebra/order/monoid_lemmas_zero_lt): reorder, create aliases (#16522)

The first part of #16449







leanprover-community/mathlib,leanprover-community/mathlib