Theorem Cubic.of_d_eq_zero'

Modification history