User talk:YohanN7/Closed subgroup theorem

First draft
A first draft, probably full of bugs.


 * I decided to include a near full rigorous proof since it seems like the proof is the same in every Lie group text and therefore has a measure of notability.
 * I need some help in finding more applications.
 * I am also not certain whether a non-closed, hence not embedded, subgroup necessarily has discontinuous operations in the relative topology. It could be the case because no theorem I can find guarantees continuity. YohanN7 (talk) 21:17, 15 July 2014 (UTC)
 * It is now worded so that no inference is made regarding continuity. (If operations are continuous, then they are smooth. This holds for immersed submanifolds.) YohanN7 (talk) 23:15, 15 July 2014 (UTC)