Theorem Polynomial.hasseDeriv_apply

Modification history