Theorem isMeagre_iUnion

Modification history

2025-08-02 11:30

Mathlib/Topology/GDelta/Basic.lean

chore: various indentation fixes (#27869) …

Modified isMeagre_iUnion View 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_iUnion View on Github →

2024-01-09 14:39

Mathlib/Topology/GDelta.lean

chore: rename meagre to isMeagre in two lemma names (#9591) …

Added isMeagre_iUnion View on Github →