Injection_iff_Left_Inverse