Moisala, T.; Pasqualetto, E. Direct Limits of Infinite-Dimensional Carnot Groups. Math. Scand. 2022, 128.