Theorem Polynomial.IsRoot.definition

Modification history