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
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