Theorem Unitary.spectrum_subset_circle

Modification history

2025-10-29 21:09
Mathlib/Analysis/CStarAlgebra/Spectrum.lean
chore: move results from `unitary` namespace to `Unitary` (#30697) …
Added Unitary.spectrum_subset_circleView on Github →