Theorem Cubic.C_mul_prod_X_sub_C_eq

Modification history