# Commit 2021-06-16 15:31 a564bf1e

View on Github →feat(data/list/cycle): cycles as quotients of lists (#7504) Cycles are common structures, and we define them as a quotient of lists. This is on the route to defining concrete cyclic permutations, and could also be used for encoding properties of cycles in graphs.