Theorem cfc_comp'

Modification history

2024-04-03 10:19

Mathlib/Topology/ContinuousFunction/FunctionalCalculus.lean

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

Modified cfc_comp'View on Github →

2024-02-27 19:35

Mathlib/Topology/ContinuousFunction/FunctionalCalculus.lean

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

Added cfc_comp'View on Github →