smooth action of a Hilbert-Lie group on a Hilbert manifold
scientific article; zbMATH DE number 4119266
scientific article