Theorem IntermediateField.exists_algHom_of_adjoin_splits_of_aeval

Modification history