mathlib

6d370064 - feat(data/list/basic): add `list.cons_diff` (#13892)