Corollary 2

Tag 09PE, permanent. Cite it as [Bourbaki, Tag 09PE].

Integration, chapter IX, § 2. Operations on measures

— Let $f$ be a numerical function defined on $S \times T$ and $\nu$ -negligible. Then the function $f_s : t \mapsto f(s, t)$ is $\mu$ -negligible for $\lambda$ -almost every $s \in S$ .

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

Cited by

Proposition 12, § 2

Cites

Nothing.