Corollary

Tag 05SD, permanent. Cite it as [Bourbaki, Tag 05SD].

Algebra, chapter II, § 7. Vector spaces

For a vector space E, the relations $E = \{0\}$ and $E^* = \{0\}$ are equivalent.

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

Cited by

Nothing.