Theorem Cubic.coeff_eq_d

Modification history