Theorem Polynomial.coeffList_zero

Modification history