Definition 3
Tag 093B, permanent. Cite it as [Bourbaki, Tag 093B].
Integration, V, p. 53, § 5. Measures defined by numerical densities
Two complex measures on a locally compact space are said to be equivalent if the measures and satisfy the conditions a), b), c) of Prop. 10.
For and to be equivalent, it is therefore necessary and sufficient that and be equivalent.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.