Commit 2024-06-13 01:47 a7ed48f4
View on Github →feat : added spectrum.conjugate_units results to Algebra.Algebra.Spectrum, and spectrum.conjugate_unitary results to Algebra.Star.Unitary. (#13729)
Included proofs that conjugation by a unit preserves the spectrum, and conjugation by a unitary preserves the spectrum.