Theorem Counterexample.Omega1Space.inc_embedding

Modification history

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