Category:Left and Right Inverse Mappings Implies Bijection