Theorem IsMeagre.empty

Modification history

2025-07-15 08:53
Mathlib/Topology/GDelta/Basic.lean
feat(Topology/GDelta/Basic): two basic lemmas about unions of meagre sets (#26979) …
Added IsMeagre.emptyView on Github →