Theorem Counterexample.Omega1Space.subspace_of_normal_not_normal

Modification history

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