Theorem IntermediateField.algHom_mk_adjoin_splits'

Modification history