The following pages were changed recently:
Trace: • commutative_monoids • start • distributive_lattice_ordered_semigroups • inverse_semigroups • notation_and_terminology • commutative_integral_ordered_monoids