mathlib3
2c9b0634 - feat(algebra/big_operators): add prod boole lemma (#4192)

Commit

5 years ago

feat(algebra/big_operators): add prod boole lemma (#4192) A small lemma to simplify products of indicator functions

References

Author

b-mehta

Parents