Theorem Module.End.hasEigenvalue_of_hasGeneralizedEigenvalue

Modification history