Loading paper
The restricted Lagrangian Grassmannian in infinite dimension | Tomesphere