Theorem spectrum.subset_circle_of_unitary

Modification history