Theorem Module.End.hasEigenvalue_iff

Modification history