Theorem continuousFunctionalCalculus_map_id

Modification history

2023-06-12 18:27

Mathlib/Analysis/NormedSpace/Star/ContinuousFunctionalCalculus.lean

feat: port Analysis.NormedSpace.Star.ContinuousFunctionalCalculus (#4977)

Added continuousFunctionalCalculus_map_id View on Github →