Theorem cfcₙ_predicate_zero

Modification history

2024-07-02 19:10
Mathlib/Topology/ContinuousFunction/NonUnitalFunctionalCalculus.lean
refactor: enforce the predicate on the `ContinuousFunctionalCalculus` is nontrivial (#14100) …
Added cfcₙ_predicate_zeroView on Github →