Theorem Polynomial.coeffList_eq_cons_leadingCoeff

Modification history