Theorem Polynomial.hasseDeriv_zero'

Modification history