Theorem Polynomial.hasseDeriv_comp

Modification history