Metamath Proof Explorer


Syntax definition cmarrep

Description: Syntax for the row replacing function for a square matrix.

Ref Expression
Assertion cmarrep class matRRep