We prove Weinstein's Lagrangian neighborhood theorem:
Any sufficiently small neighborhood of a Lagrangian submanifold in any symplectic manifold
can be symplectomorphically mapped onto a neighborhood of the zero section of the cotangent bundle , extending the identity map of .
Tangent bundle of a vector bundle, Tubular neighborhood theorem