Show all pages that mention first-order classes
Trace: • brouwerian_algebras • clifford_semigroups • dedekind_categories • first-order_classes