Mathlib Changelog
v4
Changelog
About
Github
Theorem
spectrum.units_conjugate
Modification history
2024-06-13 01:47
Mathlib/Algebra/Algebra/Spectrum.lean
feat : added `spectrum.conjugate_units` results to `Algebra.Algebra.Spectrum`, and `spectrum.conjugate_unitary` results to `Algebra.Star.Unitary`. (#13729) …
Added
spectrum.units_conjugate
View on Github →