Theorem isNowhereDense_empty

Modification history

2023-12-05 14:12
Mathlib/Topology/GDelta.lean
chore: tidy various files (#8823)
Added isNowhereDense_emptyView on Github →