Theorem Matrix.blockDiag'_one

Modification history