generalise t848

Author: felixpernegger

theorems/T000848.md

@@ -3,10 +3,10 @@ uid: T000848
 if:
   P000090: true
 then:
-  P000230: true
+  P000223: true
 refs:
 - mathse: 2965374
   name: Answer to "Are minimal neighborhoods in an Alexandrov topology path-connected?"
 ---
 
-For each point $x \in X$, the minimal neighborhood $U_x$ of $x$ is open and {P199} (see {{mathse:2965374}}). By {T583}, $U_x$ is {P200}.
+See {{mathse:2965374}}.