1-isomorphism is direct product-closed

From Groupprops

Statement

Suppose is an indexing set and are 1-isomorphic groups (?) for each . Then, the External direct product (?) of the s is 1-isomorphic to the external direct product of the s.

Related facts