Key points are not available for this paper at this time.
The differential structure on the set of partial isometries over the restricted Grassmannian is constructed, which makes it a Banach Lie groupoid.
Goliński et al. (Fri,) studied this question.