Theorem Cubic.of_d_eq_zero

Modification history