Remark 1
Tag 02HU, permanent. Cite it as [Bourbaki, Tag 02HU].
Théories spectrales, chapter II, § 1. Transformation de Fourier
The bijectivity of the mapping from into of Proposition 1 is a particular case of the correspondence between continuous representations of a locally compact group H (not necessarily commutative) and continuous representations of the algebra .
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.