Theorem Polynomial.eq_zero_of_infinite_isRoot

Modification history