Continuous map of differentiable manifolds is differentiable if differentiable functions pull back to differentiable functions
Continuous map of differentiable manifolds is differentiable if differentiable functions pull back to differentiable functions