Integration of 1-forms and connections

Anders Kock

We give a combinatorial/geometric argument of the classical result that an affine connection, which is both torsion free and curvature free, is locally an affine space.