Theorem DFinsupp.prod_of_support_subset

Modification history

2026-05-23 12:03
Mathlib/Data/DFinsupp/BigOperators.lean
feat: add congruence lemmas for (d)finsupp big operators (#39422) …
Added DFinsupp.prod_of_support_subsetView on Github →