Theorem Matrix.map_toSquareBlock

Modification history