theorem :: LMOD_XX1:25

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