The Picard–Vessiot Antiderivative Closure

F is a differential field of characteristic zero with algebraically closed field of constants C . A Picard–Vessiot antiderivative closure of F is a differential field extension E ⊃ F which is a union of Picard–Vessiot extensions of F , each obtained by iterated adjunction of antiderivatives, and such that every such Picard–Vessiot extension of F has an isomorphic copy in E . The group G of differential automorphisms of E over F is shown to be prounipotent. When C is the complex numbers and F = C ( t ) the rational functions in one variable, G is shown to be free prounipotent.