Theorem Module.End.unifEigenspace_le_unifEigenspace_finrank

Modification history