Weinstein neighbourhood theorems for stratified subspaces

By analogy with Weinstein's neighbourhood theorem, we prove a uniqueness result for symplectic neighbourhoods of a large family of stratified subspaces.

This result generalizes existing constructions, e.g., in the search for exotic Lagrangians.

Along the way, we prove a strong version of Moser's trick and a (non-symplectic) tubular neighbourhood theorem for these stratified subspaces.