8.1. Basis and dimension.
The Substitution Lemma is stated and proven, which allows us to show that any two finite bases of a vector space have the same cardinality. This is how dimension is defined.
The Substitution Lemma is stated and proven, which allows us to show that any two finite bases of a vector space have the same cardinality. This is how dimension is defined.