Theorem cfcₙ_eq_cfc

Modification history

2024-07-08 17:08

Mathlib/Topology/ContinuousFunction/NonUnitalFunctionalCalculus.lean

feat(ContinuousFunctionalCalculus): When `cfc` is applied to a function that maps zero to zero, it is equal to `cfcₙ` (#14432) …

Added cfcₙ_eq_cfc View on Github →