Database
BASIC LINEAR ALGEBRA
Matrices
Replacement functions for a square matrix
cmarrep
Next ⟩
cmatrepV
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cmarrep
Description:
Syntax for the row replacing function for a square matrix.
Ref
Expression
Assertion
cmarrep
class
matRRep