Theorem Polynomial.coeff_iterate_derivative_as_prod_range

Modification history