Theorem Matrix.trace_toLin_eq

Modification history