Weinstein neighborhood theorem
= Weinstein neighborhood theorem
{c}
A neighborhood of a compact <Lagrangian submanifold> $L\subset(M,\omega)$ is symplectomorphic, by a map restricting to the identity on $L$, to a neighborhood of the zero section in $(T^*L,d\lambda)$, with the sign chosen to match the convention for the canonical form.