Def IsNowhereDense

Modification history

2023-10-12 10:52

Mathlib/Topology/GDelta.lean

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

Modified IsNowhereDense View on Github →

2023-10-10 21:36

Mathlib/Topology/GDelta.lean

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

Added IsNowhereDense View on Github →