Theorem Polynomial.isRoot_iterate_derivative_of_lt_rootMultiplicity

Modification history