Show all pages that mention first-order classes
Trace: • partially_ordered_monoids • sober_t0-spaces • first-order_classes