Def IsThickening

Modification history

2025-12-18 14:20
Mathlib/Topology/UniformSpace/Uniformizable.lean
feat(Topology): Completely Regular Space iff Uniformizable (#32080) …
Added IsThickeningView on Github →