Database
BASIC LINEAR ALGEBRA
Matrices
Multiplication of a matrix with a "column vector"
cmvmul
Next ⟩
df-mvmul
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cmvmul
Description:
Syntax for the operator for the multiplication of a vector with a matrix.
Ref
Expression
Assertion
cmvmul
class
maVecMul