Theorem Polynomial.lifts_and_degree_eq_and_monic

Modification history