Theorem nonempty_interior_of_iUnion_of_closed
Modification history
2025-08-14 11:59
Mathlib/Topology/Baire/Lemmas.lean
feat(Topology/Baire/Lemmas): residual sets in nonempty Baire spaces are not meagre (#28363) …
Modified nonempty_interior_of_iUnion_of_closedView on Github →