add S185|P130 false

spaces/S000185/properties/P000130.md

@@ -0,0 +1,13 @@
+---
+space: S000185
+property: P000130
+value: false
+refs:
+- mathse: 4985014
+  name: 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.
+
+See {{mathse:4985014}}.