Theorem spectrum.coe_le_norm_of_mem

Modification history