Theorem SpectrumRestricts.nnreal_iff_nnnorm

Modification history