Theorem IntermediateField.nonempty_algHom_adjoin_of_splits

Modification history