Bourbaki

Corollary 2

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

Integration, chapter V, § 7. Integration with respect to an induced measure

— Let M be a subset of T. If μ\mu is concentrated on M, then μX\mu_X is concentrated on M∩XM \cap X.

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

Cited by

Cites

Nothing.

Transcribed from the printed volume. Not translated.