Theorem Urysohns.CU.disjoint_C_support_lim

Modification history

2024-08-26 13:16
Mathlib/Topology/UrysohnsLemma.lean
feat(Topology/UrysohnsLemma): add a variation of Urysohn's lemma for T2Space (#12459) …
Added Urysohns.CU.disjoint_C_support_limView on Github →