mathlib

77f4ed46 - docs(set_theory/lists): add module docstring and def docstrings (#8967)