Theorem ContinuousWithinAt.cfcₙ_nnreal

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 ContinuousWithinAt.cfcₙ_nnreal View on Github →