Theorem Polynomial.sumIDeriv_map

Modification history