Every closed subgroup of is a Lie group

ID: every-closed-subgroup-of-gl-n-c-is-a-lie-group

New to topics? Read the docs here!