theorem Th64: :: GROUP_23:66

for I being non empty set
for F1, F2 being Group-Family of I
for f being Homomorphism-Family of F1,F2 holds Ker (product f) = product (Ker f)