Theorem UniformSpace.secondCountable_of_almost_dense_set

Modification history

2025-12-30 20:35
Mathlib/Topology/UniformSpace/Cauchy.lean
feat: `UniformSpace.subset_countable_closure_of_almost_dense_set` (#32849) …
Added UniformSpace.secondCountable_of_almost_dense_setView on Github →