I was told that the fundamental group of a connected, compact, semisimple Lie group is finite, with the outline of a possible way to prove this fact. Is there any source however that fleshes this out in detail / are there several ways to prove this fact? Thanks!