←
The Stone-Weierstrass Theorem - Queen's U