Database
BASIC TOPOLOGY
Filters and filter bases
Topological rings, fields, vector spaces
ctvc
Next ⟩
df-trg
Metamath Proof Explorer
Unicode
Structured
Syntax definition
ctvc
Description:
The class of all topological vector spaces.
Ref
Expression
Assertion
ctvc
class TopVec