mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(Function/Support): support of `update`

Open urkud opened this issue 1 year ago • 0 comments

Generalize 4 lemmas from Finsupp to Function.

I don't use new lemmas to golf proofs in Finsupp to avoid merge conflicts with another PR I'm working on.

Open in Gitpod

urkud avatar Mar 28 '24 05:03 urkud