Theorem Matrix.add_mul_mul_invOf_mul_eq_one

Modification history