Summary
- moved matpow
The file was modified | thys/Perron_Frobenius/Perron_Frobenius_Aux.thy (diff) |
The file was modified | thys/Perron_Frobenius/Spectral_Radius_Theory.thy (diff) |
The file was modified | thys/Perron_Frobenius/Perron_Frobenius_Aux.thy (diff) |
The file was modified | thys/Perron_Frobenius/Spectral_Radius_Theory.thy (diff) |