Theorem IsSelfAdjoint.isConnected_spectrum_compl

Modification history

2024-08-16 23:11
Mathlib/Analysis/CStarAlgebra/Spectrum.lean
feat: better proof of spectral permanence (#15603) …
Added IsSelfAdjoint.isConnected_spectrum_complView on Github →