Theorem Module.End.hasEigenvalue_of_hasGenEigenvalue

Modification history