Theorem Summable.matrix_blockDiag'

Modification history