Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-06 21:14 845d064a

View on Github →

feat(algebra/big_operators/finprod): add finprod.mem_dvd (#9549)

Estimated changes

added theorem finset.dvd_prod_of_mem
added theorem finprod_mem_dvd