Theorem Cubic.natDegree_of_c_eq_zero

Modification history