Mathlib Changelog
v4
Changelog
About
Github
Theorem
cfcₙHom_id
Modification history
2025-09-18 15:32
Mathlib/Analysis/CStarAlgebra/ContinuousFunctionalCalculus/NonUnital.lean
refactor: switch to using `Fact (0 ∈ s)` for `ContinuousMapZero.id` (#29563) …
Modified
cfcₙHom_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ₙHom_id
View on Github →