diff --git a/spaces/S000060/properties/P000102.md b/spaces/S000060/properties/P000102.md new file mode 100644 index 0000000000..4f65a4eec9 --- /dev/null +++ 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}}. \ No newline at end of file diff --git a/spaces/S000061/properties/P000102.md b/spaces/S000061/properties/P000102.md new file mode 100644 index 0000000000..8b2664b6cd --- /dev/null +++ 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}}. \ No newline at end of file