Theorem Matrix.toSquareBlock_def

Modification history