Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-16 13:26 b0d961b4

View on Github →

chore(algebra/indicator_function): add finset.sum_indicator_eq_sum_filter (#9208)

Estimated changes