mathlib

497d1e06 - docs(set_theory/lists): update docs (#18346)