Theorem Filter.Tendsto.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 Filter.Tendsto.cfc_nnreal View on Github →