Theorem spectrum_star_mul_self_of_isStarNormal

Modification history