Proposition 2
Tag 09IN, permanent. Cite it as [Bourbaki, Tag 09IN].
Integration, VIII, p. 10, § 2. Linear representations of groups
Let G be a locally compact group, U a linear representation of G in a normed space E. Let A be a dense subset of E. Assume that for every , is continuous and that, for every , is a continuous mapping of G into E. Then U is continuous.
For, is bounded on every compact subset of G by Lemmas 1 and 2, and one then applies Remark 2.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.