Theorem Module.End.hasGeneralizedEigenvalue_of_hasEigenvalue

Modification history