Lagrangian embedding (source code)

= Lagrangian embedding
{c}

A Lagrangian embedding is a <smooth embedding> whose image is a <Lagrangian submanifold>.