Theorem Matrix.trace_single_eq_same

Modification history