Mathlib v3 is deprecated. Go to Mathlib v4

Def finset.image_one_hom

Modification history

2022-10-23 19:55
src/data/finset/pointwise.lean
feat(data/finset/pointwise): allow lifting monoid homs to finsets (#16935)
Added finset.image_one_homView on Github →