The ring of integers of a finite extension of `ℚ_[p]` is complete for its maximal ideal.

Initializing...

The ring of integers of a finite extension of `ℚ_[p]` is complete for its maximal ideal. · Prove2Me