Theorem Polynomial.sumIDeriv_eq_self_add

Modification history