raw/concept/math/kbhlinear_independence.md history