theorem :: LMOD_XX1:26

for R being comRing
for M, N, N1 being LeftMod of R
for u being Homomorphism of R,N,N1 holds phi (M,u) is Homomorphism of R, Hom (R,M,N), Hom (R,M,N1) by Def10;