Documentation
LeanPool
.
SNumbers
.
BasicResults
.
Spectral
Search
return to top
source
Imports
Init
LeanPool.SNumbers.BasicResults.Spectral.Complexification
LeanPool.SNumbers.BasicResults.Spectral.MonotoneConvergence
LeanPool.SNumbers.BasicResults.Spectral.MultiplicationOperator
LeanPool.SNumbers.BasicResults.Spectral.Projection
LeanPool.SNumbers.BasicResults.Spectral.RealProjection
LeanPool.SNumbers.BasicResults.Spectral.Representation
Imported by
Supporting modules for Pietsch s-numbers and the maximal difference theorem.