P
Initializing...
The ring of integers of a finite extension of `ℚ_[p]` has finite residue field. · Prove2Me