Lemma 2

Tag 096Z, permanent. Cite it as [Bourbaki, Tag 096Z].

Integration, chapter V, § 8. Products of measures

Let $f$ be a mapping of $X$ into a topological space. For $f$ to be $\lambda'_t$ -measurable, it is necessary and sufficient that $f_t$ be $\mu'$ -measurable. This is a consequence of Prop. 3 of §6, No. 2.

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

Cited by

Nothing.

Cites

Prop. 3 of §6, No. 2