mathlib

cce4e962 - feat(data/finset/pointwise): allow lifting monoid homs to finsets (#16935)

feat(data/finset/pointwise): allow lifting monoid homs to finsets (#16935) Co-authored-by: Bhavik Mehta <bm489@cam.ac.uk> Co-authored-by: Eric Wieser <wieser.eric@gmail.com>