Proposition 13
Tag 09KO, permanent. Cite it as [Bourbaki, Tag 09KO].
Integration, chapter VIII, § 4. Convolution of measures and functions
— If and , or if and , then and are convolvable, and (15) defines for every a product that belongs to .
This follows from Prop. 5 of No. 2, and the remarks in No. 4.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.