Theorem Polynomial.lifts_iff_coeff_lifts

Modification history