Theorem Matrix.mul_fin_two

Modification history