Corollary 2
Tag 09IY, permanent. Cite it as [Bourbaki, Tag 09IY].
Integration, VIII, p. 17, § 2. Linear representations of groups
With hypotheses as in Cor. 1, let be a continuous mapping of into a quasi-complete locally convex space . Then
This follows from Cor. 1, and Prop. 14 of Ch. VI, §1, No. 6.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.