Over a complete discrete valuation ring, `Oⁿ × R` is `π`-adically complete, where `R` is the concrete surface.

Initializing...

Over a complete discrete valuation ring, `Oⁿ × R` is `π`-adically complete, where `R` is the concrete surface. · Prove2Me