Commit 2026-09-09 03:44 076c9da2

feat(Counterexamples): the space ω₁ (#41962) Introduce the ω₁ ordinal space that, when given the order topology, may be used to build some nice counterexamples in general topology, namely

• A subspace of a paracompact space need not be paracompact
• The product of two normal spaces need not be normal
• A subspace of a normal space need not be normal
• A regular space need not be normal This PR introduces the basic definitions and order-theoretic properties, in order to have a good set of tools to work with.