Documentation
LeanPool
.
OperatorTheory
.
Operator
.
Dilation
Search
return to top
source
Imports
Init
LeanPool.OperatorTheory.Operator.Dilation.Halmos
LeanPool.OperatorTheory.Operator.Dilation.Schaeffer
Imported by
Supporting modules for Unitary dilation and the Crouzeix–Palencia bound.