Theorem meagre_iUnion

Modification history

2024-01-09 14:39

Mathlib/Topology/GDelta.lean

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

Deleted meagre_iUnion View on Github →

2023-10-12 10:52

Mathlib/Topology/GDelta.lean

chore(Topology/GDelta.lean): rename type variables (#7637) …

Modified meagre_iUnion View on Github →

2023-10-10 21:36

Mathlib/Topology/GDelta.lean

feat: nowhere dense and meagre sets (#7180) …

Added meagre_iUnion View on Github →