Theorem IntermediateField.adjoin_induction

Modification history