theorem ThHom: :: GROUP_23:29

for I being non empty set
for A, B being Group-Family of I
for f being ManySortedSet of I holds
( f is Homomorphism-Family of A,B iff for i being Element of I holds f . i is Homomorphism of (A . i),(B . i) )