From e3bba451887f728bb5338cce9c007a3eb1f5da5d Mon Sep 17 00:00:00 2001 From: Moniker1998 Date: Thu, 23 Jul 2026 04:25:46 +0200 Subject: [PATCH 1/3] modified P112 --- properties/P000112.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/properties/P000112.md b/properties/P000112.md index a0d386d663..39efcde79e 100644 --- a/properties/P000112.md +++ b/properties/P000112.md @@ -11,7 +11,10 @@ refs: The topology contains a coarser topology which is {P53}. -Equivalently, there is a continuous injective map from $X$ into some metrizable space. +Equivalently, $X$ is submetrizable when it satisfies one of the following: + +1. There is a continuous injective map from $X$ into a metrizable space. +2. There is a continuous metric on $X$. ---- #### Meta-properties From bb6bcd5d947899b86df8882758b7ec5fb010c3a6 Mon Sep 17 00:00:00 2001 From: Moniker1998 <88507423+Moniker1998@users.noreply.github.com> Date: Thu, 23 Jul 2026 05:47:58 +0200 Subject: [PATCH 2/3] Update properties/P000112.md Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> --- properties/P000112.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/properties/P000112.md b/properties/P000112.md index 39efcde79e..cfaeb9baf8 100644 --- a/properties/P000112.md +++ b/properties/P000112.md @@ -11,7 +11,7 @@ refs: The topology contains a coarser topology which is {P53}. -Equivalently, $X$ is submetrizable when it satisfies one of the following: +This is equivalent to each of the following: 1. There is a continuous injective map from $X$ into a metrizable space. 2. There is a continuous metric on $X$. From 0f8a830126db506a768436c6eb396a1736dc05b6 Mon Sep 17 00:00:00 2001 From: Moniker1998 <88507423+Moniker1998@users.noreply.github.com> Date: Thu, 23 Jul 2026 08:25:36 +0200 Subject: [PATCH 3/3] Update properties/P000112.md Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> --- properties/P000112.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/properties/P000112.md b/properties/P000112.md index cfaeb9baf8..4aff0128ce 100644 --- a/properties/P000112.md +++ b/properties/P000112.md @@ -13,8 +13,8 @@ The topology contains a coarser topology which is {P53}. This is equivalent to each of the following: -1. There is a continuous injective map from $X$ into a metrizable space. -2. There is a continuous metric on $X$. +- There is a continuous injective map from $X$ into a metrizable space. +- There is a continuous metric on $X$. ---- #### Meta-properties