Skip to content

Commit 6565d31

Browse files
committed
feat: continuity of the continuous functional calculus in each variable (#24866)
1 parent 9265da5 commit 6565d31

File tree

4 files changed

+643
-0
lines changed

4 files changed

+643
-0
lines changed

Mathlib.lean

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1311,6 +1311,7 @@ import Mathlib.Analysis.CStarAlgebra.CStarMatrix
13111311
import Mathlib.Analysis.CStarAlgebra.Classes
13121312
import Mathlib.Analysis.CStarAlgebra.CompletelyPositiveMap
13131313
import Mathlib.Analysis.CStarAlgebra.ContinuousFunctionalCalculus.Basic
1314+
import Mathlib.Analysis.CStarAlgebra.ContinuousFunctionalCalculus.Continuity
13141315
import Mathlib.Analysis.CStarAlgebra.ContinuousFunctionalCalculus.Instances
13151316
import Mathlib.Analysis.CStarAlgebra.ContinuousFunctionalCalculus.Integral
13161317
import Mathlib.Analysis.CStarAlgebra.ContinuousFunctionalCalculus.Isometric

0 commit comments

Comments
 (0)