Commit 2024-03-15 15:34 567bf08f

View on Github →

feat: an abstract continuous functional calculus for non-unital algebras (#11221)

Estimated changes

added theorem cfc_map_quasispectrum
added theorem cfcₙHom_comp
added theorem cfcₙHom_id
added theorem cfcₙHom_predicate
added theorem cfcₙ_add
added theorem cfcₙ_apply
added theorem cfcₙ_comp'
added theorem cfcₙ_comp
added theorem cfcₙ_comp_const_mul
added theorem cfcₙ_comp_neg
added theorem cfcₙ_comp_smul
added theorem cfcₙ_comp_star
added theorem cfcₙ_congr
added theorem cfcₙ_const_mul
added theorem cfcₙ_const_mul_id
added theorem cfcₙ_const_zero
added theorem cfcₙ_id'
added theorem cfcₙ_id
added theorem cfcₙ_mul
added theorem cfcₙ_neg
added theorem cfcₙ_neg_id
added theorem cfcₙ_predicate
added theorem cfcₙ_smul
added theorem cfcₙ_smul_id
added theorem cfcₙ_star
added theorem cfcₙ_star_id
added theorem cfcₙ_sub
added theorem cfcₙ_zero