mathlib

de62b061 - chore(data/set/pointwise): Golf using `set.image2` API (#13051)

chore(data/set/pointwise): Golf using `set.image2` API (#13051) Add some more `set.image2` API and demonstrate use by golfing all relevant `data.set.pointwise` declarations. Other additions