Theorem Module.End.maxUnifEigenspaceIndex_le_finrank

Modification history