Commit 2024-07-20 07:03 8e108701

View on Github →

feat: generalize spectrum.subset_subalgebra to subalgebra classes (#14926)

Estimated changes

Modified Mathlib/Algebra/Algebra/Spectrum.lean

modified theorem spectrum.subset_subalgebra

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