Theorem Module.End.hasGenEigenvector_iff

Modification history