Theorem cfcₙHom_predicate

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ₙHom_predicate View on Github →