Closed subgroup theorem

  1. REDIRECT Closed-subgroup theorem

{{R from move}}