**Main theorem.** Let `O` be a complete discrete valuation ring with finite residue field `k` (any characteristic, any ramification), with its maximal-ideal-adic compact topology, Borel σ-a

Initializing...

**Main theorem.** Let `O` be a complete discrete valuation ring with finite residue field `k` (any characteristic, any ramification), with its maximal-ideal-adic compact topology, Borel σ-a · Prove2Me