  Lagrangian formalism on graded manifolds is phrased in terms of the
Grassmann-graded variational bicomplex, generalizing the familiar variational
bicomplex for even Lagrangian systems on fiber bundles.
