Linear-1 7
Interchangeability of LID lemma
LID is not larger than the spanning set lemma
Basis of the vector space definition
Dimension of the vector space definition
Dimensions of bases lemma
Example
Basis properties lemma
”Of the three” lemma
Dimension theorem