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