![[Jenkins]](/jenkins/static/98dcae99/images/svgs/logo.svg){kind=logo}
Summary
- separate theory for Euler's totient function
| The file was modified | thys/Berlekamp_Zassenhaus/Berlekamp_Type_Based.thy (diff) |
| The file was modified | thys/Berlekamp_Zassenhaus/Finite_Field.thy (diff) |
| The file was modified | thys/Lehmer/Lehmer.thy (diff) |
| The file was modified | thys/RSAPSS/Cryptinverts.thy (diff) |
| The file was modified | thys/SumSquares/TwoSquares.thy (diff) |