Theorem IsSelfAdjoint.toReal_spectralRadius_complex_eq_norm

Modification history