Theorem isMeagre_iUnion

Modification history

2025-11-03 01:23
Mathlib/Topology/GDelta/Basic.lean
fix(Topology/Baire/Lemmas): fix index type in isMeagre_iUnion (#30141) …
Modified isMeagre_iUnionView on Github →
2025-08-02 11:30
Mathlib/Topology/GDelta/Basic.lean
chore: various indentation fixes (#27869) …
Modified isMeagre_iUnionView on Github →
2025-07-15 08:53
Mathlib/Topology/GDelta/Basic.lean
feat(Topology/GDelta/Basic): two basic lemmas about unions of meagre sets (#26979) …
Modified isMeagre_iUnionView on Github →
2024-01-09 14:39
Mathlib/Topology/GDelta.lean
chore: rename meagre to isMeagre in two lemma names (#9591) …
Added isMeagre_iUnionView on Github →