On the pro-lie group theorem and the closed subgroup theorem

- Hofmann, Karl, Morris, Sidney