Theorem range_cfcₙ_nnreal

Modification history

2026-03-23 17:30
Mathlib/Analysis/CStarAlgebra/ContinuousFunctionalCalculus/Range.lean
feat: generalize results on the range of the continuous functional calculus to avoid closed embeddings (#36908) …
Modified range_cfcₙ_nnrealView on Github →
2025-09-22 18:40
Mathlib/Analysis/CStarAlgebra/ContinuousFunctionalCalculus/Range.lean
feat: range of the continuous functional calculus (#29561) …
Added range_cfcₙ_nnrealView on Github →