Theorem IntermediateField.minpoly.degree_le

Modification history