Theorem Module.End.HasUnifEigenvalue.exp_ne_zero

Modification history