Proof. [02JL]
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
Proof.
In the non-Archimedean, this follows from [Gub07, Corollary 3.9(2)]. In the Archimedean case, this follows from the functoriality of Chern classes, the projection formula, and the continuity of direct image of measures. ∎