Theorem SpectrumRestricts.nnreal_add

Modification history