P
Initializing...
Principal units of a complete ultrametric field as a topological $\mathbb{Z}_p$-module · Prove2Me