Theorem spectrum.exists_nnnorm_eq_spectralRadius

Modification history