Tracking Issue for Agoh–Giuga conjecture

[franzhusch]

https://en.wikipedia.org/wiki/Agoh%E2%80%93Giuga_conjecture

[franzhusch]

Was already added in https://github.com/google-deepmind/formal-conjectures/blob/dd0661e284eaca8d1e52b86293ff14dfdd53cf7d/FormalConjectures/Wikipedia/AgohGiuga.lean