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 →