Claim:Functions with two-sided inverses are bijective

From CS2800 wiki
If a function [math]f : A \href{/cs2800/wiki/index.php/%5Cto}{\to} B [/math] has a two-sided inverse, then [math]f [/math] is bijective.