Proof
(related to Proposition: Composition of Bijective Functions is Bijective)
- By hypothesis, Let $f:A\to B$ and $g:B\to C$ are bijective.
- Since $f,g$ are bijective, $f,g$ are in particular injective.
- By the corresponding proposition, the composition $(g\circ f)$ is also injective.
- Since $f,g$ are bijective, $f,g$ are in particular surjective.
- By the corresponding proposition, the composition $(g\circ f)$ is also surjective.
- Altogether, the composition $(g\circ f)$ is bijective.
∎
Thank you to the contributors under CC BY-SA 4.0! 
- Github:
-
References
Bibliography
- Kane, Jonathan: "Writing Proofs in Analysis", Springer, 2016
