Theorem Matrix.blockDiagonal_mul

Modification history