Matrix/Equivalent/Eigenvalue/Fact/Proof
<
Matrix/Equivalent/Eigenvalue/Fact
Proof
This follows from
fact
.
To fact