M. Hanusch, “The Strong Trotter Property for Locally ;c-convex Lie Groups,” Journal of Lie Theory, vol. 30, no. 1, pp. 025–032, 2020.