Summary
- manual merge
- more precise factor bound
The file was added | thys/Berlekamp_Zassenhaus/Mahler_Measure.thy |
The file was modified | thys/Berlekamp_Zassenhaus/Berlekamp_Zassenhaus.thy (diff) |
The file was modified | thys/Berlekamp_Zassenhaus/Factor_Bound.thy (diff) |
The file was modified | thys/Berlekamp_Zassenhaus/Reconstruction.thy (diff) |
The file was modified | thys/Polynomial_Factorization/Gauss_Lemma.thy (diff) |