Theorem spectrum.norm_le_norm_mul_of_mem

Modification history