Theorem IntermediateField.minpoly.natDegree_le

Modification history