Theorem spectrum.spectralRadius_zero

Modification history