Theorem Matrix.blockDiag_map

Modification history