Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Matrices
Submatrices
csmat
Next ⟩
df-smat
Metamath Proof Explorer
Unicode
Structured
Syntax definition
csmat
Description:
Syntax for a function generating submatrices.
Ref
Expression
Assertion
csmat
class subMat1