Metamath Proof Explorer


Syntax definition cmdat

Description: Syntax for the matrix determinant function.

Ref Expression
Assertion cmdat class maDet