Corollary

Tag 0904, permanent. Cite it as [Bourbaki, Tag 0904].

For f to belong to $\mathscr{L}_F^p$ , it is necessary and sufficient that f belong to $\overline{\mathscr{L}}_F^p$ and be moderated.

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

Cited by

Nothing.