Theorem Polynomial.hasseDeriv_eq_zero_of_lt_natDegree

Modification history