TY  - RPRT
TI  - A formal proof of Hensel's lemma over the p-adic integers
AU  - Robert Y. Lewis
PY  - 2019
DO  - 10.1145/3293880.3294089
UR  - https://arxiv.org/abs/1909.11342
ID  - 1909.11342
ER  -