P
Initializing...
Theorem 11.7.12 — Real non-unital Stone–Weierstrass theorem · Prove2Me