Hello everyone, I had a question I was hoping I could get some help with. Let be a smooth manifold and let be vector fields. Let be the flow of . So in my notation I have and for a smooth function then . Let , so that pointwise.

In a proof in my course there is a statement

.

Why can we just take limits inside? It is not obvious to me that the map is smooth.

Thanks for any help.