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