Theorem Polynomial.IsRoot.eq_zero

Modification history