Theorem Matrix.mul_eq_one_comm_of_equiv

Modification history