Proposition 3
Tag 09CW, permanent. Cite it as [Bourbaki, Tag 09CW].
Integration, chapter VI, Appendix 0. Complements on topological vector spaces
— The strong dual of a reflexive Fréchet space has the property (GDF).
This is a consequence of Prop. 2 and the following lemma (or TVS, IV, §3, No. 4, Prop. 4):
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.