Definition 4

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

Algebra, chapter II, § 7. Vector spaces

The dimension of the subspace of $E^*$ generated by the family $(x_i^*)$ is called the rank of the system (21).

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

Cited by

Nothing.

Nothing.