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