ContinuousFunctionalCalculus

📁 Source: Mathlib/Tactic/ContinuousFunctionalCalculus.lean

Statistics

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

(root)

Definitions

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

---

← Back to Index