Theorem Module.End.unifEigenspace_le_smul

Modification history