Theorem Matrix.blockDiag'_sub

Modification history