Yes, you can find this in Engelking's *General Topology* as Theorem 3.1.16 (for Hausdorff spaces but it works in general).
See also [*Compactness and product spaces*, Coll. Math., 7 (1959), 19--22][1] by S. Mrowka.


  [1]: https://eudml.org/doc/210657