Theorem Finsupp.prod_indicator_index_eq_prod_attach

Modification history

2023-08-25 07:09
Mathlib/Algebra/BigOperators/Finsupp.lean
feat: add some lemmas about `Finsupp.indicator` (#6719) …
Added Finsupp.prod_indicator_index_eq_prod_attachView on Github →