Example 1

Tag 08OD, permanent. Cite it as [Bourbaki, Tag 08OD].

Integration, chapter III, § 4. Products of measures

The product measure of the Dirac measures $\varepsilon_x$ ( $x \in X$ ) and $\varepsilon_y$ ( $y \in Y$ ) is the Dirac measure $\varepsilon_{(x, y)}$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.