Theorem Cubic.coeff_eq_b

Modification history