Theorem Polynomial.natDegree_multiset_prod_X_sub_C_eq_card

Modification history