Theorem Polynomial.lifts_iff_set_range

Modification history