Theorem IntermediateField.nonempty_algHom_of_adjoin_splits

Modification history