Theorem cfcₙ_comp_smul

Modification history

2024-03-15 15:34

Mathlib/Topology/ContinuousFunction/NonUnitalFunctionalCalculus.lean

feat: an abstract continuous functional calculus for non-unital algebras (#11221)

Added cfcₙ_comp_smul View on Github →