Theorem cfc_id

Modification history

2024-08-07 07:08

Mathlib/Analysis/CStarAlgebra/ContinuousFunctionalCalculus/Unital.lean

chore: backports for leanprover/lean4#4814 (part 21) (#15510)

Modified cfc_id View on Github →

2024-04-03 10:19

Mathlib/Topology/ContinuousFunction/FunctionalCalculus.lean

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

Modified cfc_id View on Github →

2024-02-27 19:35

Mathlib/Topology/ContinuousFunction/FunctionalCalculus.lean

feat: abstract continuous functional calculus for unital algebras (#5750) …

Added cfc_id View on Github →