# Claim:Functions with two-sided inverses are bijective

If a function has a two-sided inverse, then is bijective.