@misc{indiciaed4718bbfaec3, title = {Regular infinite dimensional Lie groups}, author = {Andreas Kriegl and Peter W. Michor}, year = {1998}, url = {https://arxiv.org/abs/math/9801007}, note = {Source identifier: math/9801007} }