mathlib

7748d2d1 - feat(data/finsupp/to_dfinsupp): add equivalences between finsupp and dfinsupp