Theorem Polynomial.hasseDeriv_zero

Modification history