Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merged
  2. More material on totient function
Changeset 65727:33368a2296aa by eberlm _eberlm@in.tum.de_:
Merged
Changeset 65726:f5d64d094efe by eberlm _eberlm@in.tum.de_:
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)