Initial commit

1 files changed, 19 insertions, 0 deletions

diff --git a/pages/general-topology/compactness/tychonoff-product-theorem.md b/pages/general-topology/compactness/tychonoff-product-theorem.md
new file mode 100644
index 0000000..2ae78e4
--- /dev/null
+++ b/pages/general-topology/compactness/tychonoff-product-theorem.md
@@ -0,0 +1,19 @@
+---
+title: Tychonoff Product Theorem
+parent: Compactness
+grand_parent: General Topology
+nav_order: 2
+# cspell:words
+---
+
+# {{ page.title }}
+
+{: .theorem-title }
+> {{ page.title }}
+> {: #{{ page.title | slugify }} }
+>
+> The product of (an arbitrary family of) compact spaces is compact.
+
+{% proof %}
+TODO
+{% endproof %}