Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
prime.dvd_finset_prod_iff
Modification history
2022-01-03 11:27
src/algebra/big_operators/associated.lean
feat(algebra/big_operators/associated): `dvd_prod_iff` for `finset` and `finsupp` (#10675) …
Added
prime.dvd_finset_prod_iff
View on Github →