Hanusch M. Regularity of Lie groups. Communications in Analysis and Geometry. 2022;30(1):53-152. doi:10.4310/cag.2022.v30.n1.a2