Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-03-22 08:35
41d291c7
View on Github →
feat(algebra/big_operators/associated): generalize prod_primes_dvd (
#12740
)
Estimated changes
Modified
src/algebra/big_operators/associated.lean
added
theorem
finset.prod_primes_dvd
added
theorem
multiset.prod_primes_dvd
Modified
src/number_theory/primorial.lean
deleted
theorem
prod_primes_dvd