Theorem spectrum.spectralRadius_le_nnnorm

Modification history