Theorem Polynomial.lifts_iff_ringHom_rangeS

Modification history