Documentation

LeanPool.OperatorTheory.Operator.NumericalRange

Imports

Init
LeanPool.OperatorTheory.Operator.NumericalRange.Adjoint
LeanPool.OperatorTheory.Operator.NumericalRange.Affine
LeanPool.OperatorTheory.Operator.NumericalRange.AffineClosure
LeanPool.OperatorTheory.Operator.NumericalRange.Basic
LeanPool.OperatorTheory.Operator.NumericalRange.Bounded
LeanPool.OperatorTheory.Operator.NumericalRange.Compact
LeanPool.OperatorTheory.Operator.NumericalRange.Compression
LeanPool.OperatorTheory.Operator.NumericalRange.Convex
LeanPool.OperatorTheory.Operator.NumericalRange.Helpers
LeanPool.OperatorTheory.Operator.NumericalRange.Nonempty
LeanPool.OperatorTheory.Operator.NumericalRange.Radius
LeanPool.OperatorTheory.Operator.NumericalRange.RadiusAdjoint
LeanPool.OperatorTheory.Operator.NumericalRange.RadiusAffine
LeanPool.OperatorTheory.Operator.NumericalRange.RadiusAlgebra
LeanPool.OperatorTheory.Operator.NumericalRange.RadiusCartesian
LeanPool.OperatorTheory.Operator.NumericalRange.RadiusCharacterization
LeanPool.OperatorTheory.Operator.NumericalRange.RadiusFiniteDimensional
LeanPool.OperatorTheory.Operator.NumericalRange.RadiusNormal
LeanPool.OperatorTheory.Operator.NumericalRange.RadiusSpectrum
LeanPool.OperatorTheory.Operator.NumericalRange.Stability

Imported by

Supporting modules for Unitary dilation and the Crouzeix–Palencia bound.