Theorem range_cfcₙ_nnreal_eq_image_cfcₙ_real

Modification history

2025-09-22 18:40

Mathlib/Analysis/CStarAlgebra/ContinuousFunctionalCalculus/Range.lean

feat: range of the continuous functional calculus (#29561) …

Added range_cfcₙ_nnreal_eq_image_cfcₙ_real View on Github →