Theorem SpectrumRestricts.eq_zero_of_neg

Modification history