Show all pages that mention first-order classes
Trace: • sequential_algebras • dedekind_categories • clifford_semigroups • modules_over_a_ring • finite_semilattices • symmetric_relations • first-order_classes