Theorem Matrix.mul_fin_three

Modification history