Documentation Verification Report

ContinuousMap

📁 Source: Mathlib/Analysis/CStarAlgebra/ContinuousMap.lean

Statistics

MetricCount
DefinitionsinstCStarAlgebra, instCommCStarAlgebra, instNonUnitalCStarAlgebra, instNonUnitalCommCStarAlgebra, instCStarAlgebra, instCommCStarAlgebra, instNonUnitalCStarAlgebra, instNonUnitalCommCStarAlgebra, instNonUnitalCStarAlgebra, instNonUnitalCommCStarAlgebra
10
Theorems0
Total10

BoundedContinuousFunction

Definitions

NameCategoryTheorems
instCStarAlgebra 📖CompOp—
instCommCStarAlgebra 📖CompOp—
instNonUnitalCStarAlgebra 📖CompOp—
instNonUnitalCommCStarAlgebra 📖CompOp—

ContinuousMap

Definitions

NameCategoryTheorems
instCStarAlgebra 📖CompOp—
instCommCStarAlgebra 📖CompOp—
instNonUnitalCStarAlgebra 📖CompOp—
instNonUnitalCommCStarAlgebra 📖CompOp—

ZeroAtInftyContinuousMap

Definitions

NameCategoryTheorems
instNonUnitalCStarAlgebra 📖CompOp—
instNonUnitalCommCStarAlgebra 📖CompOp—

---

← Back to Index