Theorem Cubic.natDegree_of_c_ne_zero'

Modification history