Tychonoff's Theorem

This page is either:in the process of being refactored, or:has been identified as a candidate for refactoring. In particular:The vast majority of the general version and the version for Hausdorff spaces are precisely identical.

Until this has been finished, please leave {{refactor}} in the code.

New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only. Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.