Theorem Polynomial.sumIDeriv_apply_of_le

Modification history