Mathlib Changelog
v4
Changelog
About
Github
Def
Finsupp.curryEquiv
Modification history
2026-01-03 17:21
Mathlib/Data/Finsupp/Basic.lean
chore(Data/Finsupp): rename `finsuppProdEquiv` to `curryEquiv` (#33521) …
Added
Finsupp.curryEquiv
View on Github →