Theorem Polynomial.IsRoot.map

Modification history