Database
BASIC LINEAR ALGEBRA
The determinant
The matrix adjugate/adjunct
cmadu
Next ⟩
cminmar1
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cmadu
Description:
Syntax for the matrix adjugate/adjunct function.
Ref
Expression
Assertion
cmadu
class
maAdju