Theorem Cubic.natDegree_of_c_ne_zero

Modification history