Theorem spectrum.subset_subalgebra

Modification history

2024-07-20 07:03
Mathlib/Algebra/Algebra/Spectrum.lean
feat: generalize `spectrum.subset_subalgebra` to subalgebra classes (#14926)
Modified spectrum.subset_subalgebraView on Github →
2023-06-07 16:52
Mathlib/Algebra/Algebra/Spectrum.lean
feat: port Algebra.Algebra.Spectrum (#4778) …
Added spectrum.subset_subalgebraView on Github →