Theorem spectrum.spectralRadius_lt_of_forall_lt

Modification history