Theorem continuous_cfcₙHomSuperset_left

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 continuous_cfcₙHomSuperset_left View on Github →