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 by S. Mrowka.
KP Hart
- 11.4k
- 38
- 48