Result R4543: Map inverse is invertible shows that $f^{-1}$ is an invertible map and result R1478: Equivalent characterisations of bijectivity shows that a map is a bijection if and only if it is an invertible map. $\square$