Theorem Cubic.ne_zero_of_d_ne_zero

Modification history