Theorem continuousOn_cfcₙ

Modification history

2025-05-31 21:25

Mathlib/Analysis/CStarAlgebra/ContinuousFunctionalCalculus/Continuity.lean

feat: continuity of the continuous functional calculus in each variable (#24866)

Added continuousOn_cfcₙ View on Github →