Theorem Matrix.add_mul_mul_invOf_mul_eq_one'

Modification history