Corollary

Tag 09MB, permanent. Cite it as [Bourbaki, Tag 09MB].

— The subspace $N$ of $\Gamma^0$ is locally compact.

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

Cited by

Nothing.