English

edit

Noun

edit

prehilbert space (plural prehilbert spaces)

  1. Alternative form of pre-Hilbert space