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.

Estimated changes