Database
BASIC LINEAR ALGEBRA
The determinant
The matrix adjugate/adjunct
cminmar1
Next ⟩
df-madu
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cminmar1
Description:
Syntax for the minor matrices of a square matrix.
Ref
Expression
Assertion
cminmar1
class
minMatR1