Theorem det_traceMatrix_ne_zero'

Modification history