$C^{m_0}$-Smoothness of Evaluation Maps

Abstract

We give a proof that evaluation map $E:\hat{I}{\pounds }^l\times \mathcal{M}\to M^l$ is of class $C^{m_0}$.