Theorem Module.End.genEigenspace_le_genEigenspace_maxUnifEigenspaceIndex

Modification history