Theorem SpectrumRestricts.starAlgHom_id

Modification history

2024-04-07 19:21

Mathlib/Analysis/NormedSpace/Star/ContinuousFunctionalCalculus/Restrict.lean

feat: generically, the restriction of a continuous functional calculus is equal to the original (#11958)

Added SpectrumRestricts.starAlgHom_id View on Github →