Mathlib Changelog
v4
Changelog
About
Github
Theorem
Unitization.quasispectrum_eq_spectrum_inr
Modification history
2024-10-27 18:23
Mathlib/Algebra/Algebra/Quasispectrum.lean
feat: define the positive and negative parts of elements in a C⋆-algebra (#18103)
Modified
Unitization.quasispectrum_eq_spectrum_inr
View on Github →
2024-03-12 19:39
Mathlib/Algebra/Algebra/Quasispectrum.lean
feat: define `quasispectrum` for non-unital algebras (#11219) …
Added
Unitization.quasispectrum_eq_spectrum_inr
View on Github →