∫ Утверждение Mathlib
cfcₙHom_apply_mem_elemental
Mathlib.Analysis.CStarAlgebra.ContinuousFunctionalCalculus.Range
URI: https://scilib.ai/kg/mathlib#cfcₙHom_apply_mem_elemental
∫ Утверждение Mathlib
Mathlib.Analysis.CStarAlgebra.ContinuousFunctionalCalculus.Range
URI: https://scilib.ai/kg/mathlib#cfcₙHom_apply_mem_elemental