User:Holmansf/Lagrangian distributions

In mathematical analysis a Lagrangian distribution is a type of distribution whose wave front set is contained in a conic Langrangian submanifold of the cotangent bundle minus the zero section.