tweak  independence post
Further work on the linear algebra post
Finish proving the steinitz exchange lemma, define dimension
Finish SIA post 2, relocate the remainder to a new post
publish SIA post 2
remove a wayward sentence fragment
rename the linear algebra post
publish the fdvs post
add fragment of a post on sums of subspaces
add some stuff on GJE