Commit 2025-08-14 11:59 8c444f02
View on Github →feat(Topology/Baire/Lemmas): residual sets in nonempty Baire spaces are not meagre (#28363) In a nonempty Baire space, a residual set is not meagre.
feat(Topology/Baire/Lemmas): residual sets in nonempty Baire spaces are not meagre (#28363) In a nonempty Baire space, a residual set is not meagre.