Corollary 1
Tag 09IX, permanent. Cite it as [Bourbaki, Tag 09IX].
Integration, VIII, p. 16, § 2. Linear representations of groups
With hypotheses as in Lemma 4, suppose in addition that there exists a compact subset of containing the supports of all of the measures . Then also converges to in equipped with the topology of compact convergence in .
For, the restriction mapping of into is continuous; therefore, if is a compact subset of , then the restrictions to of the functions in form a compact subset of . It then suffices to apply Lemma 4 on replacing by .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.