Eigenvalues/Endomorphism/Matrix/Fact/Proof

< Eigenvalues < Endomorphism < Matrix < Fact
Proof

This follows directly from fact  (1), using the diagram