Theorem cfcₙ_neg

Modification history

2025-12-17 21:56
Mathlib/Analysis/CStarAlgebra/ContinuousFunctionalCalculus/NonUnital.lean
chore(Analysis): fix whitespace (#32909) …
Modified cfcₙ_negView on Github →
2024-04-03 10:19
Mathlib/Topology/ContinuousFunction/NonUnitalFunctionalCalculus.lean
chore: swap argument order in `cfc` and `cfcₙ` (#11468) …
Modified cfcₙ_negView 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ₙ_negView on Github →