Commit 2023-06-19 05:31 a10b1dd6

View on Github →

feat: add AlgEquiv.spectrum_eq (#5155)

Estimated changes

added theorem AlgEquiv.spectrum_eq