Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-10-07 20:25 2b89d59b

View on Github →

chore(ring_theory/coprime): weaken assumptions of finset.prod_dvd_of_coprime (#4506)

Estimated changes

modified theorem finset.prod_dvd_of_coprime