mathlib

3a6340cc - chore(data/dfinsupp): golf using `quotient.map` instead of `quotient.lift_on` (#9176)