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!

(The result is often known as Weyl's theorem, I think for his take on the proof, Knapp provides a fairly detailed exposition of his perspective.)