Theorem Polynomial.coeff_comp_degree_mul_degree

Modification history