Theorem ContinuousOn.cfcₙ'

Modification history

2025-11-15 00:04
Mathlib/Analysis/CStarAlgebra/ContinuousFunctionalCalculus/Continuity.lean
feat: generalize continuity results for the continuous functional calculus (#30594) …
Added ContinuousOn.cfcₙ'View on Github →