Theorem finsupp.support_sum_eq_bUnion
Modification history
2023-01-23 10:09
src/algebra/big_operators/finsupp.lean
fix(*/finsupp/*): add missing decidable arguments in lemma statements (#18251) …
Modified finsupp.support_sum_eq_bUnionView on Github →