Theorem det_traceForm_ne_zero

Modification history