Is there a version of Whitney Embedding's theorem for infinite dimensional?

146 Views Asked by At

Since we have a infinte dimensional version of Sard's Theorem and Transversality's theorem, I was thinking that this question is reasonable. Any reference would be greatly appreciated!