Differential forms in synthetic differential supergeometry (Q1805609)

In this note, the definition of superdifferential forms in a super microlinear space is given. Exterior differentiation, Lie derivative and the Cartan formula relating them are described, as well as a De Rham theorem in that framework. Familiarity with synthetic differential geometry, as understood for instance in [\textit{R. Lavendhomme}, `Basic concepts of synthetic differential geometry' (1996; Zbl 0866.58001)], is necessary even to understand some notations.