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
.
feat(data/nat/modeq): Rotating list.repeat (#8817)
Some consequences of list.rotate_eq_self_iff_eq_repeat
.