Remark

Tag 0AC0, permanent. Cite it as [Bourbaki, Tag 0AC0].

Preserving the hypotheses and notation of Proposition 52, suppose that $K$ is locally compact. Let $\mu$ be the measure

\operatorname{mod} \det(D_{n+i}m_k(x_1, \ldots, x_n, x_1, \ldots, x_n))_{1 \leq i, k \leq n} dx_1 \ldots dx_n

\psi(U)

. Then

\psi^{-1}(\mu)

is the restriction to

U

of a Haar measure on

G

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

Cited by

Nothing.