Every monic irreducible residue polynomial `φ` has an unramified lift `Φ` over `O` of the same degree.

Initializing...

Every monic irreducible residue polynomial `φ` has an unramified lift `Φ` over `O` of the same degree. · Prove2Me