Page "Stone–Weierstrass theorem" not found :(