Theorem Matrix.blockDiag_one

Modification history