Talk:Serre's theorem on a semisimple Lie algebra

Untitled
What's a "base" for a root system? The article should define this, I think. John Baez (talk) 17:24, 15 June 2020 (UTC)