Theorem Finset.prod_filter_xor

Modification history

2024-12-20 05:45
Mathlib/Algebra/BigOperators/Group/Finset.lean
chore(*): drop some `[Decidable*]` assumptions (#19988) …
Modified Finset.prod_filter_xorView on Github →
2024-12-05 16:41
Mathlib/Algebra/BigOperators/Group/Finset.lean
feat(Algebra/BigOperators/Group/Finset) : Finset.prod_disjoint_filters (#19712) …
Added Finset.prod_filter_xorView on Github →