Write an essay on the finite-dimensional representations of $\mathrm{SU}(2)$, including a proof of their complete reducibility, and a description of the irreducible representations and the decomposition of their tensor products.