Theorem Polynomial.exists_prod_multiset_X_sub_C_mul

Modification history