Theorem Polynomial.hasseDeriv_X

Modification history