Theorem Polynomial.prod_X_sub_C_coeff_card_pred

Modification history