Corollary 2

Tag 0977, permanent. Cite it as [Bourbaki, Tag 0977].

Integration, chapter V, § 8. Products of measures

— If $A \subset T$ and $A' \subset T'$ are measurable (for $\mu$ and $\mu'$ , respectively), then $A \times A'$ is measurable for $\mu \otimes \mu'$ . This follows at once from Cor. 1.

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

Cited by

Nothing.

Cites

Cor. 1