A formal proof of Hensel's lemma over the p-adic integers

Robert Y. Lewis*

*Corresponding author for this work

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Fingerprint Dive into the research topics of 'A formal proof of Hensel's lemma over the p-adic integers'. Together they form a unique fingerprint.

Engineering & Materials Science