Theorem natDegree_minpolyDiv

Modification history