Database
COMPLEX TOPOLOGICAL VECTOR SPACES (DEPRECATED)
Normed complex vector spaces
Subspaces
css
Next ⟩
df-ssp
Metamath Proof Explorer
Ascii
Structured
Syntax definition
css
Description:
Extend class notation with the class of all subspaces of normed complex vector spaces.
Ref
Expression
Assertion
css
class
SubSp