Metamath Proof Explorer


Syntax definition cminmar1

Description: Syntax for the minor matrices of a square matrix.

Ref Expression
Assertion cminmar1 class minMatR1