Database
BASIC LINEAR ALGEBRA
Matrices
Replacement functions for a square matrix
cmatrepV
Next ⟩
df-marrep
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cmatrepV
Description:
Syntax for the function replacing a column of a matrix by a vector.
Ref
Expression
Assertion
cmatrepV
class
matRepV