In Johnstone´s Sketches of an Elephant Volume 2, page 716,

lemma 4.1.8 states that for spatial locales $X$ and $Y$ with $X$ locally compact then the locale product $X\times Y$ is spatial.

Is this lemma still valid for a family of locally compact spatial locales, that is, if $\{X_{\alpha}\}_{\alpha}$ is a family of locally compact spatial locales is the locale $\prod_{\alpha}X_{\alpha}$ spatial?

Or anyone knows a modification for a countable family of locally compact spatial locales?

Thanks in advanced.