Theorem Module.End.hasEigenvector_iff

Modification history