Let $X$ be a complex analytic space. It is a 'well known fact' that the categories of local systems on $X$ (i.e. locally constant sheaves with stalk $C^n$), and of (holomorphic) vector bundles on $X$ with flat connection, are equivalent. I've been looking for a proof of this, but every reference I can find merely says something like 'this is well known' without further argument. Does anyone know of a proof?



Why are local systems on a complex analytic space equivalent to vector bundles with flat connection?
The important point of the proof is that either of these objects can be locally trivialized with transition functions on each double overlap given by a constant element of GL(n). So, given a local system, you just build the vector bundle with flat connection that has the same transition functions, and vice versa.


**EDIT:** Brian Conrad points out below that while this is a fairly complete sketch in the smooth case, it requires more work in the singular case.


