lol

pi-base · Dec 7, 2023 · a3004e6 · a3004e6
1 parent 3253e02
commit a3004e6
Show file tree

Hide file tree

Showing 3 changed files with 30 additions and 0 deletions.
diff --git a/properties/P000177.md b/properties/P000177.md
@@ -0,0 +1,6 @@
+---
+uid: P000177
+name: Locally psuedometaparametrizable
+---
+
+The space is awesome.
diff --git a/spaces/S000027/properties/P000177.md b/spaces/S000027/properties/P000177.md
@@ -0,0 +1,13 @@
+---
+space: S000027
+property: P000177
+value: false
+refs:
+- doi: 10.1007/978-1-4612-6290-9_6
+  name: Counterexamples in Topology
+---
+
+The inclusion $\mathbb{Q} \hookrightarrow \mathbb{R}$ is an unbounded continuous function.
+
+Asserted in the General Reference Chart for space #30 in
+{{doi:10.1007/978-1-4612-6290-9_6}}.
diff --git a/theorems/T000434.md b/theorems/T000434.md
@@ -0,0 +1,11 @@
+---
+uid: T000434
+if:
+  and: 
+    - P000036: true
+    - P000177: true
+then:
+  P000044: false
+---
+
+{P44} holds vacuously as every pair of subsets, each with at least two points, intersects.