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