P
Initializing...
The pi topology on `k⟦X⟧` is the `(X)`-adic topology. · Prove2Me