Theorem Matrix.trace_submatrix_succ

Modification history