Anatomy of a Formal Proof
(ams.org)
It has been a long day and you are making your way through a paper related to your work. You suddenly come across the following remark: “…since $x$ and $y$ are eigenvectors of $f$ with distinct eigenvalues, they are linearly independent.” Wait—how does the proof go? You should really know this. Here $x$ and $y$ are nonzero elements of a vector space $V$ and $f : V to V$ is a linear map.
It has been a long day and you are making your way through a paper related to your work. You suddenly come across the following remark: “…since $x$ and $y$ are eigenvectors of $f$ with distinct eigenvalues, they are linearly independent.” Wait—how does the proof go? You should really know this. Here $x$ and $y$ are nonzero elements of a vector space $V$ and $f : V to V$ is a linear map.