History

for article: Stone–Weierstrass theorem