Database
BASIC ALGEBRAIC STRUCTURES
Generalized pre-Hilbert and Hilbert spaces
Orthogonal projection and orthonormal bases
chil
Next ⟩
cobs
Metamath Proof Explorer
Unicode
Structured
Syntax definition
chil
Description:
Extend class notation with class of all Hilbert spaces.
Ref
Expression
Assertion
chil
class Hil