Commit 2021-05-10 16:44 92395fdf
View on Github →feat(data/list/rotate): is_rotated (#7299)
is_rotated l₁ l₂ or l₁ ~r l₂ asserts that l₁ and l₂ are cyclic permutations
of each other. This is defined by claiming that ∃ n, l.rotate n = l'.
feat(data/list/rotate): is_rotated (#7299)
is_rotated l₁ l₂ or l₁ ~r l₂ asserts that l₁ and l₂ are cyclic permutations
of each other. This is defined by claiming that ∃ n, l.rotate n = l'.