Metamath Proof Explorer


Syntax definition cmadu

Description: Syntax for the matrix adjugate/adjunct function.

Ref Expression
Assertion cmadu class maAdju