I was told that the fundamental group of a connected, compact, semisimple Lie group has a finite fundamental group, 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!