Moisala, T.; Pasqualetto, E. Direct Limits of Infinite-Dimensional Carnot Groups. Math. Scand. 2022, 128 (2). https://doi.org/10.7146/math.scand.a-132062.