  The relevant material on differential calculus on graded infinite order jet
manifolds and its cohomology is summarized. This mathematics provides the
adequate formulation of Lagrangian theories of even and odd variables on smooth
manifolds in terms of the Grassmann-graded variational bicomplex.
