Theorem IsSelfAdjoint.mem_spectrum_eq_re

Modification history