Consider a smooth map \(\phi\colon M\to N\) between two smooth manifolds. If \(S\hookrightarrow M\) is an embedded submanifold , then \(F{\mid}_S\colon S\to N\) is also a smooth map.
Consider a smooth map \(\phi\colon M\to N\) between two smooth manifolds. If \(S\hookrightarrow M\) is an embedded submanifold , then \(F{\mid}_S\colon S\to N\) is also a smooth map.