Commit 2024-04-05 12:26 94d1829a
View on Github →feat: Continuous real-valued functions separate points in T3.5-spaces. (#11831)
Continuous real-valued functions separate points in T3.5-spaces, spelled in terms of SeparatesPoints. There was a brief Zulip discussion.