Theorem Module.End.genEigenspace_le_smul

Modification history