Theorem StarSubalgebra.spectrum_eq

Modification history