Completeness of infinite-dimensional Lie groups in their left uniformity
arXiv:1610.00428
Abstract
We prove completeness for the main examples of infinite-dimensional Lie groups and some related topological groups.
v4: 32 pages, less background material