mathlib

58a88539 - doc(data/list/*): Add missing documentation (#8867)

doc(data/list/*): Add missing documentation (#8867) Fixing the missing module docstrings in `data/list`, as well as documenting some `def`s and `theorem`s.