Commit 2025-08-07 17:04 11925c2d

View on Github →

feat(Topology/Baire/Lemmas): In a nonempty Baire space, any dense GDelta set is not meagre (#27471) Proves that in a nonempty Baire space any dense Gδ set is not meagre

Estimated changes