Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-08-25 18:32 40bd7c69

View on Github →

feat(data/nat/modeq): Rotating list.repeat (#8817) Some consequences of list.rotate_eq_self_iff_eq_repeat.

Estimated changes

added theorem list.rotate_repeat