Show all pages that mention first-order classes
Trace: • commutative_lattice-ordered_monoids • first-order_classes