kisonecat/m2o2c2 — pull request #80 by jimevart (2014-04-05 22:01:19+00:00)
Title: Update dimension.tex

proof solution should say linearly dependent should it not as thats what we are trying to prove?