Loading paper
Banach Lie groupoid of partial isometries over restricted Grassmannian | Tomesphere