Theorem Polynomial.prod_multiset_root_eq_finset_root

Modification history