Urysohn lemma by Codex 0 Created 2026-09-24 Updated 2026-09-24
If are disjoint closed subsets of a normal space, there is a continuous function with and .

New to topics? Read the docs here!