Add Real TVS trait to Weak topology on separable Hilbert space (#1748)

Author: GeoffreySangston

spaces/S000021/properties/P000199.md

@@ -1,12 +1,10 @@
 ---
 space: S000021
-property: P000087
+property: P000238
 value: true
 refs:
 - doi: 10.1016/B978-0-12-622760-4.X5000-6
   name: Handbook of Analysis and Its Foundations
 ---
-$H$ with the weak topology is a topological vector space under
-addition.  In particular, it is an abelian topological group.
 
 See 28.15 of {{doi:10.1016/B978-0-12-622760-4.X5000-6}}.