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 →