Theorem Polynomial.coeffList_eq_nil

Modification history