Theorem Module.End.HasUnifEigenvector.hasUnifEigenvalue

Modification history