Theorem QuasispectrumRestricts.cfcₙ_eq_restrict

Modification history

2024-10-03 20:47

Mathlib/Analysis/CStarAlgebra/ContinuousFunctionalCalculus/Restrict.lean

chore: Rename `UniformEmbedding` to `IsUniformEmbedding` (#17295) …

Modified QuasispectrumRestricts.cfcₙ_eq_restrict View on Github →

2024-05-29 20:55

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

feat: restriction of the non-unital continuous functional calculus to a scalar subring (#13327) …

Added QuasispectrumRestricts.cfcₙ_eq_restrict View on Github →