Theorem Module.End.hasUnifEigenvalue_iff_hasUnifEigenvalue_one

Modification history