Database
BASIC ALGEBRAIC STRUCTURES
Generalized pre-Hilbert and Hilbert spaces
Definition and basic properties
cphl
Next ⟩
cipf
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cphl
Description:
Extend class notation with class of all pre-Hilbert spaces.
Ref
Expression
Assertion
cphl
class
PreHil