mathlib

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