Hensel lemma privacy

Stream: general

[Violeta Hernández]

Just noticed this, but almost every single theorem in number_theory/padics/hensel other than Hensel's lemma is marked private. Someone who knows about the topic ought to evaluate that.