Theorem Polynomial.isRoot_prod

Modification history