Theorem minpoly.natDegree_pos

Modification history