Theorem Matrix.trace_toLin'_eq

Modification history