Theorem Polynomial.sumIDeriv_apply_of_lt

Modification history