Database
BASIC LINEAR ALGEBRA
The determinant
Definition and basic properties
cmdat
Next ⟩
df-mdet
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cmdat
Description:
Syntax for the matrix determinant function.
Ref
Expression
Assertion
cmdat
class maDet