Infinite products of topological groups

While studying for a topological groups course, I wondered if we could define the product of uncountably many topological groups such that the product is still a topological group. That is: let $G_i$ be a topological group with product law $p_i$ for each $i in I$ (with $I$ uncountable). We can give $G = prod_{i in I} G_i$ the (Tychonoff) product topology and define the product law of $G$ by:

$pi_i circ p = p_i$ for all $i in I$.

However, when trying to prove that this mapping is continuous end up needing $I$ to be at most countable or that the topologies of $G_i$ be discrete.

Is there any way to get around this?

Thanks.