Theorem IntermediateField.algHom_ext_of_eq_adjoin

Modification history