P
Initializing...
The maximal ideal of `A_P` generates in the completion `(A_P)^` the extension of `P`. · Prove2Me