Corollary
Tag 068J, permanent. Cite it as [Bourbaki, Tag 068J].
Algebra, chapter III, § 11. Cogebras, products of multilinear forms, inner products and duality
If E is of dimension n, every non-zero -vector E is pure.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.