Theorem spectrum.spectralRadius_le_pow_nnnorm_pow_one_div

Modification history