Theorem cfcUnits_pow

Modification history

2024-04-03 10:19

Mathlib/Topology/ContinuousFunction/FunctionalCalculus.lean

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

Modified cfcUnits_pow View on Github →

2024-02-27 19:35

Mathlib/Topology/ContinuousFunction/FunctionalCalculus.lean

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

Added cfcUnits_pow View on Github →