Commit 2026-01-03 17:21 dbe24fbc
View on Github →chore(Data/Finsupp): rename finsuppProdEquiv to curryEquiv (#33521)
This matches both the DFinsupp name and more generally the practice of naming bundlings of a function after the function.
Also add the missing intermediate bundling as an AddEquiv.