Show all pages that mention first-order classes
Trace: • finite_semigroups_with_zero • chains • integral_ordered_monoids • multisets • first-order_classes