Stokes' theorem
where formula_125 is a -form and formula_128 a -form. This identity follows from Stokes' theorem for smooth forms: