Commit 2022-03-28 15:03 31e5ae22
View on Github →feat(data/list/cycle): Define the empty cycle (#12967)
Also clean the file up somewhat, and add various simp
lemmas.
feat(data/list/cycle): Define the empty cycle (#12967)
Also clean the file up somewhat, and add various simp
lemmas.