Theorem Cubic.natDegree_of_zero

Modification history