Theorem Finsupp.prod_comapDomain

Modification history

2026-09-09 15:18

Mathlib/Data/Finsupp/Basic.lean

feat(Data/Finsupp): support of `mapDomain` is image of support if nonneg (#43610) …

Added Finsupp.prod_comapDomain View on Github →