Theorem leftInverse_inv_mul_mul_right

Modification history