Theorem Polynomial.hasseDeriv_monomial

Modification history