Adding P102 (Semimetrizable) to S60 (Pointed rational extension of re…

…als) and S61 (Pointed irrational extension of reals) (#1162)
pi-base · Dec 29, 2024 · fa1334e · fa1334e
1 parent 3284596
commit fa1334e
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 0 deletions.
diff --git a/spaces/S000060/properties/P000102.md b/spaces/S000060/properties/P000102.md
@@ -0,0 +1,10 @@
+---
+space: S000060
+property: P000102
+value: true
+refs:
+- mathse: 5016298
+  name: Semimetrizability of pointed irrational/rational extensions of reals
+---
+
+See {{mathse:5016298}}.
diff --git a/spaces/S000061/properties/P000102.md b/spaces/S000061/properties/P000102.md
@@ -0,0 +1,10 @@
+---
+space: S000061
+property: P000102
+value: false
+refs:
+- mathse: 5016298
+  name: Semimetrizability of pointed irrational/rational extensions of reals
+---
+
+See {{mathse:5016298}}.