Theorem leftInverse_mul_right_inv_mul

Modification history