Theorem finsupp.single_eq_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) …
Modified finsupp.single_eq_indicatorView on Github →