Theorem Module.End.maxGenEigenspace_def

Modification history