Skip to content

refactor: move theorems about lists from mathlib (#756) #474

refactor: move theorems about lists from mathlib (#756)

refactor: move theorems about lists from mathlib (#756) #474