Theorem Polynomial.rootSet_zero

Modification history