Structural facts on the coefficient space `O^n`: its Borel σ-algebra is generated by `π`-adic cylinders, the coefficient measure is a Haar probability measure, its `π`-adic quotients are finite, and s

Initializing...

Structural facts on the coefficient space `O^n`: its Borel σ-algebra is generated by `π`-adic cylinders, the coefficient measure is a Haar probability measure, its `π`-adic quotients are finite, and s · Prove2Me