Symplectic submanifold (source code)

= Symplectic submanifold

A submanifold $S\subset(M,\omega)$ is symplectic when $\omega|_{TS}$ is nondegenerate.