Theorem Cubic.degree_of_c_ne_zero

Modification history