Theorem Matrix.IsHermitian.spectral_theorem'

Modification history