Summary
- use factor-trees for hensel-lifting
The file was modified | thys/Berlekamp_Zassenhaus/Berlekamp_Hensel.thy (diff) |
The file was modified | thys/Berlekamp_Zassenhaus/Berlekamp_Zassenhaus.thy (diff) |
The file was modified | thys/Berlekamp_Zassenhaus/Hensel_Lifting.thy (diff) |