Corollary 1
Tag 09DO, permanent. Cite it as [Bourbaki, Tag 09DO].
Integration, chapter VII, § 1. Construction of a Haar measure
Let be a left Haar measure on . For a nonzero measure on to be relatively left-invariant, it is necessary and sufficient that it be of the form , where and is a continuous representation of in ; its multiplier is then .
The condition is sufficient (Prop. 10). On the other hand, if is a nonzero relatively left-invariant measure with multiplier , then is left-invariant (Prop. 10) hence is of the form with (No. 2, Cor. of Th. 1).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.