Summary
- merge
- more crisp filtering in jnf-perron-frobenius combination
The file was modified | thys/Perron_Frobenius/Perron_Frobenius_Aux_2.thy (diff) |
The file was modified | thys/Perron_Frobenius/Spectral_Radius_Theory_2.thy (diff) |
The file was modified | thys/Perron_Frobenius/Perron_Frobenius_Aux_2.thy (diff) |
The file was modified | thys/Perron_Frobenius/Spectral_Radius_Theory_2.thy (diff) |