det F
The determinant of F is the $n$-th exterior power of F, where $n$ is the rank of F.
|
|
|
|
|
The source of this document is in Schubert2.m2:1857:0.