Loading paper
Gaiotto's Lagrangian subvarieties via derived symplectic geometry | Tomesphere