Theorem spectrum.norm_le_norm_of_mem

Modification history