Theorem Module.End.HasUnifEigenvalue.mem_spectrum

Modification history