Difference between revisions of "Canonical projection of the product topology"