Theorem Polynomial.roots_multiset_prod

Modification history