![[Jenkins]](/jenkins/static/98dcae99/images/svgs/logo.svg){kind=logo}
Summary
- algebraic foundation for congruences
| The file was modified | thys/Berlekamp_Zassenhaus/Berlekamp_Type_Based.thy (diff) |
| The file was modified | thys/Berlekamp_Zassenhaus/Chinese_Remainder_Poly.thy (diff) |
| The file was modified | thys/Berlekamp_Zassenhaus/Finite_Field.thy (diff) |
| The file was modified | thys/Fermat3_4/Quad_Form.thy (diff) |
| The file was modified | thys/Koenigsberg_Friendship/FriendshipTheory.thy (diff) |
| The file was modified | thys/Lehmer/Lehmer.thy (diff) |
| The file was modified | thys/Pratt_Certificate/Pratt_Certificate.thy (diff) |
| The file was modified | thys/RSAPSS/Cryptinverts.thy (diff) |
| The file was modified | thys/SumSquares/FourSquares.thy (diff) |
| The file was modified | thys/SumSquares/TwoSquares.thy (diff) |