pre-Hilbert space

GPTKB entity