Theorem natDegree_minpolyDiv_succ

Modification history