Corollary 1
Tag 09KX, permanent. Cite it as [Bourbaki, Tag 09KX].
Integration, chapter VIII, § 4. Convolution of measures and functions
Let be a locally compact group, a Haar measure on , a Hausdorff barreled locally convex space, a linear representation of in , such that for all , -measurable when is equipped with the topology of pointwise convergence. Then is a continuous linear representation.
Let be the group of automorphisms of , equipped with the topology of pointwise convergence. This topology is Hausdorff and is invariant under translations. Let be a compact subset of . Then is bounded in equipped with the topology of pointwise convergence, hence is equicontinuous (TVS, III, §4, No. 2, Th. 1); therefore the mapping of into is continuous (loc. cit., §5, No. 5, Cor. 1 of Prop. 9). Therefore, for every , the mapping of into is continuous (Prop. 18). Since is barreled, is continuous (§2, No. 1, Prop. 1).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.