Theorem meagre_empty

Modification history

2023-10-12 10:52

Mathlib/Topology/GDelta.lean

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

Modified meagre_empty View on Github →

2023-10-10 21:36

Mathlib/Topology/GDelta.lean

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

Added meagre_empty View on Github →