Theorem spectrum.spectralRadius_le_liminf_pow_nnnorm_pow_one_div

Modification history