Assertion: local ring | /r/CapableOf | satisfy hensel's lemma
Facets:
Source sentences:
text: Complete local rings satisfy Hensel's lemma, which roughly speaking allows extending solutions (of various problems) over the residue field k to R.