Infinite-dimensional Lie group