Remark 2
Tag 09L1, permanent. Cite it as [Bourbaki, Tag 09L1].
Integration, VIII, p. 44, § 4. Convolution of measures and functions
If is metrizable, can be taken to be a sequence of neighborhoods. Then is the limit of the sequence of measures with continuous densities. If is a real Lie group, the can be taken to be infinitely differentiable; we shall see later on that the densities are then infinitely differentiable.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.