Completeness of locally k_<9-groups and related infinite-dimensional Lie groups
H. Glöckner, Topology and Its Applications 228 (2017) 277–284.