Theorem Finsupp.prod_congr_of_eq_on_union

Modification history

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