hilbert-space public under banach-space 1, metric-space 2, vector-space 3 List Picture As a command Nothing is filed under hilbert-space.