Theorem urysohns_main

Modification history

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