Database
BASIC ALGEBRAIC STRUCTURES
Left modules
Subspaces and spans in a left module
clspn
Next ⟩
df-lsp
Metamath Proof Explorer
Unicode
Structured
Syntax definition
clspn
Description:
Extend class notation with span of a set of vectors.
Ref
Expression
Assertion
clspn
class LSpan