Theorem natDegree_minpolyDiv_lt

Modification history