Magnani V, Tiberio D. The Michor-Mumford conjecture in Hilbertian H-type groups.  [Internet]. 2024  . Available from: https://arxiv.org/abs/2404.04583