Theorem Cubic.degree_of_b_eq_zero

Modification history