[math-fun] Lie theory