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 →