Theorem Polynomial.degree_pos_induction_on

Modification history