Theorem range_cfcₙHom

Modification history

2025-09-22 18:40
Mathlib/Analysis/CStarAlgebra/ContinuousFunctionalCalculus/Range.lean
feat: range of the continuous functional calculus (#29561) …
Added range_cfcₙHomView on Github →