A rigid space whose square is the Hilbert space / by Jan J. Dijkstra
A rigid space whose square is the Hilbert space