Theorem StarSubalgebra.mem_spectrum_iff

Modification history