Lemmas in linear algebra

in linear algebra, the theorem that, for any set smaller than a spanning set, there is a set of vectors in the spanning set but missing from the smaller set that can be added to the smaller set to make that set spanning as well

theorem

theorem