Theorem meagre_iff_countable_union_isNowhereDense

Modification history

2024-01-09 14:39

Mathlib/Topology/GDelta.lean

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

Deleted meagre_iff_countable_union_isNowhereDense View on Github →

2023-11-28 18:48

Mathlib/Topology/GDelta.lean

feat(Topology/GDelta): rename "nowhereDense" to "isNowhereDense" (#8567) …

Added meagre_iff_countable_union_isNowhereDense View on Github →