add S185|P130 false (#803)

* add S185|P130 false

* Update P000130.md

spaces/S000185/properties/P000130.md

@@ -0,0 +1,11 @@
+---
+space: S000185
+property: P000130
+value: false
+refs:
+- mathse: 4985015
+ name: Answer to "Is every second-countable weakly locally compact space also locally compact?"
+---
+
+Consider a neighborhood $U$ of $\infty_x$ missing $\infty_y$, and any neighborhood $V\subseteq U$ of $\infty_x$.
+Then $V$ contains a column of $\omega^2$, which is closed and discrete in $V$, showing $V$ is not compact.