Every closed subgroup of is a Lie group (source code)

= Every closed subgroup of $GL(n, \C)$ is a Lie group

<S> page 146.