Theorem Polynomial.natDegree_finset_prod_X_sub_C_eq_card

Modification history