Theorem Matrix.blockDiag_sub

Modification history