Theorem IntermediateField.minpoly_gen

Modification history