Category:Heine-Borel Property of Topological Vector Spaces