The division-coordinate module `O^deg × R` of a concrete member is `π`-adically complete.

Initializing...

The division-coordinate module `O^deg × R` of a concrete member is `π`-adically complete. · Prove2Me