Theorem Matrix.toBlock_diagonal_self

Modification history