Summary
- Merged
- More material on totient function
The file was modified | src/HOL/Number_Theory/Pocklington.thy (diff) |
The file was modified | src/HOL/Number_Theory/Residues.thy (diff) |
The file was modified | src/HOL/Number_Theory/Totient.thy (diff) |
The file was modified | src/HOL/Number_Theory/Pocklington.thy (diff) |
The file was modified | src/HOL/Number_Theory/Residues.thy (diff) |
The file was modified | src/HOL/Number_Theory/Totient.thy (diff) |