Show all pages that mention first-order classes
Trace: • rings_with_identity • g-sets • moufang_loops • universal_formulas • dense_linear_orders • first-order_classes