Theorem Polynomial.lifts_and_natDegree_eq_and_monic

Modification history