Theorem traceForm_nondegenerate

Modification history