Related information for "Infinite dimensional Lie groups"