— Let α be a Haar measure of the additive group of A. The measures
(modKNA/K(a))−1dα(a),(modKNA0/K(a))−1dα(a)
on A∗ are, respectively, left and right Haar measures of the multiplicative group A∗.
Let α′ be the restriction of α to the open set A∗. For a∈A∗, one has La(α′)=(modKNA/K(a))−1α′, therefore (modKNA/K(a))−1dα′(a) is a left Haar measure on A∗ (No. 8, Cor. 1 of Prop. 10). Passing to the opposite algebra, one sees that (modKNA0/K(a))−1dα′(a) is a right Haar measure on A∗.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.