Theorem Module.End.exists_hasEigenvalue_of_unifEigenspace_eq_top

Modification history