Open mapping theorem for topological groups

- Hofmann, Karl, Morris, Sidney