Theorem Polynomial.rootSet_one

Modification history