Theorem IntermediateField.exists_algHom_of_adjoin_splits

Modification history