Theorem cfcₙ_id'

Modification history

2024-04-03 10:19

Mathlib/Topology/ContinuousFunction/NonUnitalFunctionalCalculus.lean

chore: swap argument order in `cfc` and `cfcₙ` (#11468) …

Modified cfcₙ_id'View on Github →

2024-03-15 15:34

Mathlib/Topology/ContinuousFunction/NonUnitalFunctionalCalculus.lean

feat: an abstract continuous functional calculus for non-unital algebras (#11221)

Added cfcₙ_id'View on Github →