Theorem Cubic.of_b_eq_zero

Modification history