 Generalized Stokes theorem

If $X$ is an oriented $n$-manifold with boundary, $F:\partial X\hookrightarrow X$ is the inclusion, and $\omega$ is a compactly supported $(n-1)$-form, thenwhere the boundary has the outward-normal-first boundary orientation. A subordinate partition of unity reduces the theorem to the fundamental theorem of calculus in oriented coordinate half-spaces; local finiteness and compact support ensure that only finitely many terms contribute.

The Generalized Stokes' Theorem is a fundamental result in differential geometry and vector calculus that extends the classical Stokes' theorem, relating integrals of differential forms over manifolds to their behavior on the boundaries of those manifolds. It serves as a powerful tool in various fields such as physics, engineering, and mathematics, particularly in the study of differential forms, topology, and manifold theory.