A Note on Existence of Non-trivial Continuous Linear Functional on TVS

• 拓扑向量空间上非零连续线性泛函存在性的一个注记