wiki/concepts/linear_independence.md history