mathlib

4ba9098e - feat(algebra/euclidean_domain,data/int/basic): dvd_div_of_mul_dvd (#12382)

feat(algebra/euclidean_domain,data/int/basic): dvd_div_of_mul_dvd (#12382) We have a separate `int` and `euclidean_domain` version as `euclidean_domain` isn't pulled in by `int.basic`.