Formally $p$-adic fields Topological fields mathematics