Integral of a compactly supported top form

Assume ${\mathrm{A}\mathrm{C}}_{\omega }$. For an oriented smooth manifold $M^n$, possibly with boundary, and $\omega \in {\mathrm{\Omega }}_c^n(M)$, choose a smooth partition $({\rho }_i)$ subordinate to connected interior or boundary charts $(U_i,{\varphi }_i)$. For $n\ge 1$ set ${\int }_M\omega ={\sum }_i{I}_{{\varphi }_i}({\rho }_i\omega )\mathrm{.}$ Each product has compact support in its chart and only finitely many are nonzero, by Local finiteness near compact support. For $n=0$ set ${\int }_M\omega ={\sum }_{p\in \mathrm{supp}\omega }\epsilon (p)\omega (p)\mathrm{.}$ ${\mathrm{\Lambda }}^0{T}_p^{\ast }M\cong \mathbb{R}$ has two orientations; define $\epsilon (p)=+1$ when $1$ is positive in the chosen orientation and $\epsilon (p)=-1$ when $-1$ is positive. A zero-manifold is discrete; the singleton open cover of a compact subset has a finite subcover. Thus this sum too is finite. Empty support or empty $M$ gives zero. Independence of the choices is discharged by Independence of atlas, partition and refinement ↗.