Theorem Matrix.blockDiagonal'_submatrix_eq_blockDiagonal

Modification history