Hilbert bundle

  1. REDIRECT Hilbert manifold