Products of manifold charts form a smooth atlas on the topological product of two smooth manifolds. The transition maps are products of the two smooth transition maps, so the dimension is the sum of the dimensions. The smooth structure is independent of the chosen compatible atlases.
New to topics? Read the docs here!