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 →