Theorem Cubic.natDegree_of_a_eq_zero

Modification history