Theorem IntermediateField.induction_on_adjoin_fg

Modification history