Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Stefan O'Rear
The determinant / matrix adjugate/adjunct
Next ⟩
Endomorphism algebra
Metamath Proof Explorer
Ascii
Structured
Table of Contents - 21.33.46. The determinant / matrix adjugate/adjunct