Mathlib

1/4

A clock with n hours is the integers modulo n. Walk far enough and you return.