Metamath Proof Explorer


Syntax definition csubma

Description: Syntax for submatrices of a square matrix.

Ref Expression
Assertion csubma
class subMat