summaryrefslogtreecommitdiffstats
path: root/pages/general-topology/separation
diff options
context:
space:
mode:
Diffstat (limited to 'pages/general-topology/separation')
-rw-r--r--pages/general-topology/separation/index.md9
-rw-r--r--pages/general-topology/separation/tietze-extension-theorem.md14
-rw-r--r--pages/general-topology/separation/urysohn-lemma.md14
3 files changed, 37 insertions, 0 deletions
diff --git a/pages/general-topology/separation/index.md b/pages/general-topology/separation/index.md
new file mode 100644
index 0000000..b4916f5
--- /dev/null
+++ b/pages/general-topology/separation/index.md
@@ -0,0 +1,9 @@
+---
+title: Separation
+parent: General Topology
+nav_order: 4
+has_children: true
+has_toc: false
+---
+
+# {{ page.title }}
diff --git a/pages/general-topology/separation/tietze-extension-theorem.md b/pages/general-topology/separation/tietze-extension-theorem.md
new file mode 100644
index 0000000..4b2eee3
--- /dev/null
+++ b/pages/general-topology/separation/tietze-extension-theorem.md
@@ -0,0 +1,14 @@
+---
+title: Tietze Extension Theorem
+parent: Separation
+grand_parent: General Topology
+nav_order: 2
+---
+
+# {{ page.title }}
+
+{% theorem %}
+{% endtheorem %}
+
+{% proof %}
+{% endproof %}
diff --git a/pages/general-topology/separation/urysohn-lemma.md b/pages/general-topology/separation/urysohn-lemma.md
new file mode 100644
index 0000000..b3f8208
--- /dev/null
+++ b/pages/general-topology/separation/urysohn-lemma.md
@@ -0,0 +1,14 @@
+---
+title: Urysohn Lemma
+parent: Separation
+grand_parent: General Topology
+nav_order: 1
+---
+
+# The {{ page.title }}
+
+{% theorem %}
+{% endtheorem %}
+
+{% proof %}
+{% endproof %}