Theorem Cubic.natDegree_of_a_ne_zero

Modification history