Theorem Module.End.HasUnifEigenvalue.exists_hasUnifEigenvector

Modification history