ContinuousFunctionalCalculus

Statistics

Metric	Count
Definitions `ContinuousFunctionalCalculus`, `cfcContTac`, `cfcTac`, `cfcZeroTac`	4
Theorems	0
Total	4

Name	Category	Theorems
`ContinuousFunctionalCalculus` 📖	CompData	7 math math: `ClosedEmbeddingContinuousFunctionalCalculus.toContinuousFunctionalCalculus`, `IsometricContinuousFunctionalCalculus.toContinuousFunctionalCalculus`, `Nonneg.instContinuousFunctionalCalculus`, `IsStarNormal.instContinuousFunctionalCalculus`, `IsSelfAdjoint.instContinuousFunctionalCalculus`, `SpectrumRestricts.cfc`, `Matrix.IsHermitian.instContinuousFunctionalCalculus`
`cfcContTac` 📖	CompOp	—
`cfcTac` 📖	CompOp	—
`cfcZeroTac` 📖	CompOp	—

---