Theorem cfcHom_continuous

Modification history

2024-09-08 06:47

Mathlib/Analysis/CStarAlgebra/ContinuousFunctionalCalculus/Unital.lean

feat: star algebra homomorphisms commute with the continuous functional calculus (#16588)

Added cfcHom_continuous View on Github →