Hensel uniqueness: two roots of `f` congruent modulo the maximal ideal coincide when `f'(x)` is a unit.

Initializing...

Hensel uniqueness: two roots of `f` congruent modulo the maximal ideal coincide when `f'(x)` is a unit. · Prove2Me