Theorem finset.prod_union
Modification history
2020-05-02 15:22
src/algebra/big_operators.lean
refactor(algebra/big_operators): introduce notation for finset.prod and finset.sum (#2582) …
Modified finset.prod_unionView on Github →2019-09-18 15:46
src/algebra/big_operators.lean
refactor(algebra/big_operators,data/finset): use `finset.disjoint` in definitions (#1456) …
Modified finset.prod_unionView on Github →