prehilbert space (English, noun)
expansion: prehilbert space (plural prehilbert spaces)
Senses:
glosses: Alternative form of pre-Hilbert space.
tags: alt-of
alternative
Forms:
form: prehilbert spaces
tags: plural