Theorem Counterexample.Omega1Space.subspace_of_paracompact_not_paracompact

Modification history

2026-09-09 03:44
Counterexamples/Omega1Space.lean
feat(Counterexamples): the space ω₁ (#41962) …
Added Counterexample.Omega1Space.subspace_of_paracompact_not_paracompactView on Github →