Theorem spectrum.limsup_pow_nnnorm_pow_one_div_le_spectralRadius

Modification history