:: deftheorem Def26 defines AbGr LMOD_XX1:def 26 :
for R being comRing
for M, N being LeftMod of R
for f being Homomorphism of R,M,N
for b₅ being Function of (AbGr M),(AbGr N) holds
( b₅ = AbGr f iff for x being object st x in the carrier of (AbGr M) holds
b₅ . x = f . x );