Theorem Cubic.degree_of_d_eq_zero

Modification history