Regularity of Lie groups
M. Hanusch, Communications in Analysis and Geometry 30 (2022) 53–152.