The nForum has moved to Zulip: Stone-Weierstrass theorem.