Summary
- merge
- generalized hensel-lifting lemma, improved code equations for hensel lifting
- extracted main lemma for quadratic hensel lifting from induction proof
The file was modified | thys/Berlekamp_Zassenhaus/Hensel_Lifting.thy (diff) |
The file was modified | thys/Berlekamp_Zassenhaus/Hensel_Lifting.thy (diff) |