Assertion: abelian group's subgroup | /r/CapableOf | admit unique smooth structure
Facets:
value: according to cartan's theorem
type: OTHER
Source sentences:
text: According to Cartan's theorem, a closed subgroup of G {\displaystyle G} admits a unique smooth structure which makes it an embedded Lie subgroup of G {\displaystyle G} —i.e.