Proposition 3.10 (projection formula) [035G]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proposition 3.10 (projection formula)

Using the assumptions above and $\alpha\in A_{c}^{n,n}(F_{*}({\mathscr{C}}^{\prime}))$ , we have $\int_{F_{*}({\mathscr{C}}^{\prime},m)}\alpha=\int_{({\mathscr{C}}^{\prime},m)}F^{*}(\alpha)$ .