Regularity properties of infinite-dimensional Lie groups, and semiregularity
H. Glöckner, (2012).