Documentation
LeanPool
.
OperatorTheory
.
Operator
.
SpectralSet
Search
return to top
source
Imports
Init
LeanPool.OperatorTheory.Operator.SpectralSet.Basic
LeanPool.OperatorTheory.Operator.SpectralSet.Normal
LeanPool.OperatorTheory.Operator.SpectralSet.SpectrumInNR
Imported by
Supporting modules for Unitary dilation and the Crouzeix–Palencia bound.