Theorem continuous_cfcₙ

Modification history

2025-11-15 00:04
Mathlib/Analysis/CStarAlgebra/ContinuousFunctionalCalculus/Continuity.lean
feat: generalize continuity results for the continuous functional calculus (#30594) …
Deleted continuous_cfcₙView on Github →
2025-05-31 21:25
Mathlib/Analysis/CStarAlgebra/ContinuousFunctionalCalculus/Continuity.lean
feat: continuity of the continuous functional calculus in each variable (#24866)
Added continuous_cfcₙView on Github →