Weighted diffeomorphism groups of Riemannian manifolds
B. Walter, Indagationes Mathematicae 30 (2019) 669–705.

Implicit functions from topological vector spaces to Banach spaces
H. Glöckner, Israel Journal of Mathematics 155 (2006) 205–252.