Theorem Cubic.coeff_eq_c

Modification history