Metamath Proof Explorer

Syntax definition cminmar1

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

Ref Expression
Assertion cminmar1 
class minMatR1