Theorem Matrix.comp_toSquareBlock

Modification history