Derivative of the exponential mapping for infinite dimensional Lie groups
differential calculus of Frölicher and Kriegl
scientific article; zbMATH DE number 727091