Remark 3
Tag 09L3, permanent. Cite it as [Bourbaki, Tag 09L3].
Integration, VIII, p. 45, § 4. Convolution of measures and functions
By Prop. 15, the functions , belong to .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.