Mathlib v3 is deprecated. Go to Mathlib v4

Theorem spectrum.spectral_radius_le_pow_nnnorm_pow_one_div

Modification history