Database
COMPLEX TOPOLOGICAL VECTOR SPACES (DEPRECATED)
Normed complex vector spaces
Inner product
cdip
Next ⟩
df-dip
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cdip
Description:
Extend class notation with the class inner product functions.
Ref
Expression
Assertion
cdip
class
·
𝑖OLD