Simplified proofs for the pro-Lie group theorem and the one-parameter subgroup lifting lemma
H. Glöckner, J. Lie Theory 17 (2007) 899–902.