Theorem Polynomial.induction_with_natDegree_le

Modification history