P
Initializing...
Theorem 11.7.16 — Complex non-unital Stone–Weierstrass theorem · Prove2Me