Theorem spectrum.subset_starSubalgebra

Modification history