mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(data/finset/pointwise): allow lifting monoid homs to finsets

Open b-mehta opened this issue 1 year ago • 0 comments

Open in Gitpod

b-mehta avatar Oct 12 '22 17:10 b-mehta