Theorem Module.End.hasGenEigenvalue_iff

Modification history