Theorem Matrix.fromCols_mul_fromBlocks

Modification history