Theorem Polynomial.coeffList_C_mul

Modification history