From fc9edc6a5341343058fdaf36e86bf6e2a3afeb2e Mon Sep 17 00:00:00 2001 From: Steven Clontz Date: Wed, 16 Oct 2024 18:52:39 -0500 Subject: [PATCH] Fix P152 typo, closes #805 --- properties/P000152.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/properties/P000152.md b/properties/P000152.md index 9cdcb36a7..34bfaa924 100644 --- a/properties/P000152.md +++ b/properties/P000152.md @@ -14,6 +14,6 @@ Markov Rothberger: The second player has a Markov winning strategy in the Rothbe Markov $\Omega$-Rothberger: The second player has a Markov winning strategy in the game $\mathsf{G}_1(\Omega_X,\Omega_X)$ (relying on only the round number and most recent move of the opponent). See pages 2 and 3 of {{doi:10.1016/j.topol.2019.07.008}} for more details. -Topologically countable: If there is $\{ x_n : n \in \omega \} \subseteq X$ so that, for every $x \in X$, there is some $n \in \omega$ so that every neighborhood of $x$ contains $x_n$. +Topologically countable: If there is $\{ x_n : n \in \omega \} \subseteq X$ so that, for every $x \in X$, there is some $n \in \omega$ so that every neighborhood of $x_n$ contains $x$. -These are all shown to be equivalent at {{mathse:4737285}}. \ No newline at end of file +These are all shown to be equivalent at {{mathse:4737285}}.