Database
BASIC ALGEBRAIC STRUCTURES
Left modules
Subspace sum; bases for a left module
clbs
Next ⟩
df-lbs
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
clbs
Description:
Extend class notation with the set of bases for a vector space.
Ref
Expression
Assertion
clbs
class
LBasis