Template:Osborne Locally Convex Spaces