Database
BASIC ALGEBRAIC STRUCTURES
Vector spaces
Definition and basic properties
clvec
Next ⟩
df-lvec
Metamath Proof Explorer
Ascii
Structured
Syntax definition
clvec
Description:
Extend class notation with class of all left vector spaces.
Ref
Expression
Assertion
clvec
class
LVec