wiki/concepts/linear_dependence_lemma.md history