Learn more

Each $p$-adic field $K$ has a unique label of the form "p.n.c.num", where