Theorem AlgEquiv.spectrum_eq

Modification history