Completeness of infinite-dimensional Lie groups in their left uniformity
H. Glöckner, Canadian Journal of Mathematics 71 (2019) 131–152.