Database
BASIC TOPOLOGY
Metric spaces
Normed algebraic structures
cnvc
Next ⟩
df-nm
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cnvc
Description:
Normed vector space.
Ref
Expression
Assertion
cnvc
class NrmVec