Summary
- combined perron-frobenius lemma for arbitrary non-negative real matrices
The file was modified | thys/Perron_Frobenius/Perron_Frobenius_2.thy (diff) |
The file was modified | thys/Perron_Frobenius/Perron_Frobenius_Aux_2.thy (diff) |
The file was modified | thys/Perron_Frobenius/Perron_Frobenius_2.thy (diff) |
The file was modified | thys/Perron_Frobenius/Perron_Frobenius_Aux_2.thy (diff) |