An extension to a theorem of Himmelberg

This paper extends a widely used theorem of Himmelberg to topological vector spaces whose completion have a separating dual. © 2006 Elsevier Inc. All rights reserved