Theorem cfcₙ_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ₙ_smul View on Github →