tweak 880

GeoffreySangston · web-flow · commit 41d9beebd946 · 2026-04-16T18:33:19.000-04:00
diff --git a/theorems/T000880.md b/theorems/T000880.md
@@ -12,5 +12,5 @@ refs:
 ---
 
 Every neighborhood of the origin in a topological vector space $X$
-has a a balanced open neighborhood of the origin. See {{wikipedia:Balanced_set}}
+contains a balanced open neighborhood of the origin. See {{wikipedia:Balanced_set}}
 or Theorem 1.14(a) of {{zb:0867.4600}}.
