Summary
- merge
- new theorem for matrices of dimension 4: the Jordan-block of spectral radius is largest
The file was modified | thys/Perron_Frobenius/Spectral_Radius_Theory_2.thy (diff) |
The file was modified | thys/Perron_Frobenius/Spectral_Radius_Theory_2.thy (diff) |