mathlib3
519b4e90 - chore(algebra/big_operators): move, golf (#9218)

Commit

4 years ago

chore(algebra/big_operators): move, golf (#9218) move 2 lemmas up and golf the proof of `finset.prod_subset`.

Author

urkud

Parents