Theorem Polynomial.hasseDeriv_coeff

Modification history