Show all pages that mention first-order classes
Trace: • finite_integral_ordered_monoids • online_books_and_lecture_notes • universal_formulas • dense_linear_orders • finite_monoids • first-order_classes