Show all pages that mention first-order classes
Trace: • finite_groupoids • trees • multisets • dense_linear_orders • modules_over_a_ring • boolean_monoids • ordered_monoids • vector_spaces • fields • first-order_classes