Corollary 2

Tag 094T, permanent. Cite it as [Bourbaki, Tag 094T].

Integration, chapter V, § 6. Images of a measure

— For a subset A of X to be locally negligible for $\nu$ , it is necessary and sufficient that $\pi^{-1}(A)$ be locally negligible for $\mu$ .

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

Cited by

Corollary 3, § 6
Corollary 4, § 6
Proposition 7, § 6
Example, § 3
Theorem 1, § 3
Theorem 4, § 3

Cites

Nothing.