Theorem IntermediateField.induction_on_adjoin_finset

Modification history