Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finsupp.single_eq_set_indicator

Modification history

2023-03-01 21:21
src/data/finsupp/defs.lean
feat(data/finsupp/indicator, algebra/big_operators/finsupp): add some lemmas about `finsupp.indicator` (#17413) …
Added finsupp.single_eq_set_indicatorView on Github →