multivariate Hensel's lemma

GPTKB entity