Theorem Polynomial.hasseDeriv_apply_one

Modification history