Ultrametric Smale's $\alpha$-theory

We present a version of Smale’s $\alpha$-theory for ultrametric fields, such as the $p$-adics and their extensions, which gives us a multivariate version of Hensel’s lemma.