Def Counterexample.Omega1Space.inc

Modification history

2026-10-13 14:51
Counterexamples/Omega1Space.lean
refactor(Data): make `Set` a one-field structure (#41506) …
Deleted Counterexample.Omega1Space.incView on Github →
2026-09-09 03:44
Counterexamples/Omega1Space.lean
feat(Counterexamples): the space ω₁ (#41962) …
Added Counterexample.Omega1Space.incView on Github →