Theorem Cubic.coeff_eq_a

Modification history