Theorem Counterexample.Omega1Space.isEmbedding_shrink_prodMap_inc_id

Modification history

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