Metamath Proof Explorer


Table of Contents - 20.31.46. The determinant / matrix adjugate/adjunct