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