Theorem IntermediateField.induction_on_adjoin

Modification history