Metamath Proof Explorer

Syntax definition csubma

Description: Syntax for submatrices of a square matrix.

Ref Expression
Assertion csubma 
class subMat