Theorem Polynomial.hasseDeriv_one'

Modification history