Theorem IntermediateField.aeval_gen_minpoly

Modification history