Metamath Proof Explorer


Syntax definition cminmar1

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

Ref Expression
Assertion cminmar1
class minMatR1