Category:Left and Right Inverses of Mapping are Inverse Mapping