determinantMapKernelIs
P186109
predicate
Indicates that the specified subspace or set is exactly the kernel (null space) of the determinant map associated with a given linear transformation or matrix.