Theorem Polynomial.hasseDeriv_one

Modification history