mathlib

431207ae - docs(data/list/bag_inter): add module docstring (#8034)