Theorem Cubic.natDegree_of_b_ne_zero'

Modification history