Banach Lie groupoid of partial isometries over the restricted Grassmannian
摘要
The set of partial isometries in a