With the topology and σ-algebra transported along the power-basis coordinates, `O[X]/(Φ)` is a compact Hausdorff second-countable Borel topological ring, and the coordinates are a homeomorphism and a

Initializing...

With the topology and σ-algebra transported along the power-basis coordinates, `O[X]/(Φ)` is a compact Hausdorff second-countable Borel topological ring, and the coordinates are a homeomorphism and a · Prove2Me