Theorem Polynomial.lt_rootMultiplicity_of_isRoot_iterate_derivative

Modification history